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