A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.
Roufaida BettiraLaïd KahloulMohamed KhalguiPublished in: ENASE (2020)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- general purpose
- low cost
- hierarchical model
- artificial intelligence
- first order logic
- hierarchical clustering
- reconfigurable architecture
- hierarchical representation
- coarse to fine
- efficient implementation
- temporal logic
- database
- evolutionary algorithm
- hardware implementation
- case study
- real time systems
- learning algorithm
- genetic algorithm
- machine learning
- databases
- real time