Lipschitz Robustness of Timed I/O Systems

DOI10.1007/978-3-662-49122-5_12zbMath1475.68154arXiv1506.01233MaRDI QIDQ2796054

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.01233

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q45: Formal languages and automata

68Q06: Networks and circuits as models of computation; circuit complexity