Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.
Roufaida BettiraLaïd KahloulMohamed KhalguiZhiwu LiPublished in: SMC (2019)
Keyphrases
- timed automata
- model checking
- stochastic models
- temporal logic
- formal verification
- data sets
- general purpose
- reconfigurable architecture
- reachability analysis
- stochastic optimization
- monte carlo
- low cost
- artificial neural networks
- first order logic
- formal methods
- real time systems
- signal processing
- graphical models
- case study