Lipschitz Robustness of Timed I/O Systems.

Thomas A. Henzinger Jan Otop Roopsha Samanta

Published in: VMCAI (2016)

Keyphrases

input output
management system
information retrieval
expert systems
intelligent systems
petri net
finite state machines
real time
search engine
multi dimensional
distributed systems
computer systems
building blocks
complex systems
file system
pointwise