8 citations · 43 across the 13 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018★ 1 cited
A Metric for Linear Temporal Logic
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo +2
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the r…
cs.LO2018★ 8 cited
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, Edward A. Lee +1
We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking…