Login / Signup
On the decidability of the existence of polyhedral invariants in transition systems.
David Monniaux
Published in:
CoRR (2017)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
description logics
distributed systems
reactive systems
reinforcement learning
fully observable
dynamic programming
model checker