Login / Signup
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems.
Ping Hou
Yifei Chen
Published 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