Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.

Antti Valmari Jukka Kemppainen Matthew Clegg Mikko Levanto

Published in: FME (1993)

Keyphrases

reachability analysis
markov decision processes
model checking
least squares
timed automata
video sequences
relational databases
markov chain
software tools