An Efficient State Space Construction for a Class of Timed Automata.
Johan ArcileRaymond R. DevillersHanna KlaudelPublished in: Trans. Petri Nets Other Model. Concurr. (2023)
Keyphrases
- state space
- timed automata
- reachability analysis
- model checking
- heuristic search
- data sets
- markov decision processes
- reinforcement learning
- support vector
- computationally efficient
- information systems
- real time
- search algorithm
- software engineering
- case study
- dynamical systems
- decision trees
- temporal logic
- theorem proving
- finite number
- multi class classification