dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems.
Jean-Baptiste JeanninAndré PlatzerPublished in: IJCAR (2014)
Keyphrases
- hybrid systems
- dynamic logic
- intelligent systems
- black box
- computational intelligence
- soft computing
- meta learning
- neural network
- discrete event
- artificial intelligence
- modal logic
- imperative programs
- reasoning about actions
- temporal constraints
- temporal information
- temporal reasoning
- dynamic systems
- expert systems
- data mining
- first order logic
- modal operators