Login / Signup
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.
Sasinee Pruekprasert
Clovis Eberhart
Jérémy Dubut
Published in:
CoRR (2020)
Keyphrases
</>
optimal control
control strategies
control system
management system
markov chain
intelligent systems
computer systems
dynamical systems
control method
information systems
multi agent systems
complex systems
temporal logic
black box
automated verification