Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems
Ping HouPublished in: CoRR (2012)
Keyphrases
- hybrid systems
- dynamic logic
- imperative programs
- black box
- distributed systems
- intelligent systems
- neural network
- artificial intelligence
- computational intelligence
- meta learning
- soft computing
- temporal reasoning
- discrete event
- model checking
- temporal information
- multi agent
- web services
- evolutionary algorithm
- reasoning about actions