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