Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208].
Béatrice BérardSerge HaddadPublished in: Inf. Process. Lett. (2022)
Keyphrases
- information processing
- timed automata
- model checking
- theorem prover
- reachability analysis
- decision making
- knowledge processing
- first order logic
- human brain
- theorem proving
- state space
- web intelligence
- working memory
- granular computing
- cognitive functions
- visual information processing
- data management
- real time systems
- human beings
- artificial intelligence
- database
- cognitive neuroscience
- cognitive processing
- human cognition
- cognitive science
- real time