Optimal Time-Bounded Reachability Analysis for Concurrent Systems.
Yuliya ButkovaGereon FoxPublished in: TACAS (2) (2019)
Keyphrases
- concurrent systems
- reachability analysis
- model checking
- temporal logic
- asymptotically optimal
- timed automata
- markov decision processes
- process algebra
- petri net
- distributed systems
- finite state
- formal methods
- optimal solution
- state space
- functional dependencies
- artificial intelligence
- formal specification
- incremental algorithms
- web services