Characterization of the Expressive Power of Silent Transitions in Timed Automata.
Béatrice BérardAntoine PetitVolker DiekertPaul GastinPublished in: Fundam. Informaticae (1998)
Keyphrases
- expressive power
- timed automata
- first order logic
- theorem prover
- model checking
- theorem proving
- query language
- data complexity
- transitive closure
- relational algebra
- propositional logic
- computational properties
- knowledge representation
- inference rules
- real time systems
- relational calculus
- real time
- constraint query languages
- machine learning