Login / Signup
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.
Marcell Vazquez-Chanlatte
Shromona Ghosh
Vasumathi Raman
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
CoRR (2017)
Keyphrases
</>
reactive systems
temporal logic
model checking
concurrent systems
transition systems
formal methods
distributed systems
information flow
satisfiability problem
petri net
modal logic
temporal knowledge
bounded model checking
complex systems
dynamic constraints
np complete
reinforcement learning
temporally extended