Verification complexity of a class of observational properties for modular discrete events systems.

Xiang Yin Stéphane Lafortune

Published in: Autom. (2017)

Keyphrases

complex systems
tractable cases
intelligent systems
asynchronous circuits
real time
event detection
data sets
information retrieval
worst case
software development
desirable characteristics