Lipschitz Robustness of Timed I/O Systems
From MaRDI portal
Publication:2796054
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
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68Q06: Networks and circuits as models of computation; circuit complexity