Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP.
Iulian OberPublished in: FMICS (2018)
Keyphrases
- reachability analysis
- timed automata
- model checking
- theorem prover
- linear program
- mixed integer linear programming
- markov decision processes
- theorem proving
- resource constrained project scheduling problem
- first order logic
- real time systems
- mixed integer linear
- linear programming
- petri net
- machine learning
- temporal logic
- artificial intelligence
- branch and bound algorithm
- expert systems
- real time