TIRA: toolbox for interval reachability analysis.

Pierre-Jean Meyer Alex Devonport Murat Arcak

Published in: HSCC (2019)

Keyphrases

reachability analysis
model checking
markov decision processes
incremental algorithms
timed automata
temporal logic
state space
real time
machine learning
decision making
knowledge representation
policy iteration