Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.

Hadi Ravanbakhsh Sriram Sankaranarayanan

Published in: CoRR (2015)

Keyphrases

artificial intelligence
reinforcement learning
real time
information systems
model checking
topological properties
formal verification
database
data mining
image sequences
wide range
structural properties