Login / Signup
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.
Stanley Bak
Sergiy Bogomolov
Matthias Althoff
Published in:
FORMATS (2017)
Keyphrases
</>
reachability analysis
hybrid automata
model checking
markov decision processes
finite state automata
timed automata
incremental algorithms
state space
finite state machines
reinforcement learning
learning algorithm
artificial intelligence
knowledge base
video sequences
optimal policy
finite state