TIRA: Toolbox for Interval Reachability Analysis.

Pierre-Jean Meyer Alex Devonport Murat Arcak

Published in: CoRR (2019)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
incremental algorithms
software package
temporal logic
neural network
theorem prover