A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems.
Ping HouYifei ChenPublished in: ARQNL@IJCAR (2014)
Keyphrases
- hybrid systems
- temporal properties
- model checking
- black box
- temporal logic
- neural network
- intelligent systems
- soft computing
- meta learning
- artificial intelligence
- modal logic
- distributed systems
- possibility theory
- formal specification
- formal methods
- discrete event
- computational intelligence
- mobile agents
- logic programming
- software engineering
- programming language
- rough sets
- multi agent