Reachability Analysis for the Extension Procedure - A Topological Result.

Gerd Neugebauer

Published in: LOPSTR (1993)

Keyphrases

reachability analysis
model checking
timed automata
real time
decision making
distributed systems
steady state
markov decision processes