Login / Signup
Scalable compositional reachability analysis of real-time concurrent systems.
Farn Wang
Published in:
IEEE Real Time Technology and Applications Symposium (1996)
Keyphrases
</>
concurrent systems
reachability analysis
model checking
real time
temporal logic
process algebra
formal specification
markov decision processes
distributed systems
petri net
timed automata
transition systems
reinforcement learning
state space