Timed Automata Relaxation for Reachability.
Jaroslav BendíkAhmet SencanEbru Aydin GolIvana CernáPublished in: TACAS (1) (2021)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- state space
- first order logic
- transitive closure
- iterative algorithms
- probabilistic relaxation
- real time systems
- distributed systems
- temporal logic
- lognormal distribution
- real time
- lagrangian relaxation
- objective function
- multiscale
- similarity measure
- information retrieval