27 citations · 28 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015
Lipschitz Robustness of Timed I/O Systems
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
We present the first study of robustness of systems that are both timed as well as reactive (I/O). We study the behavior of such timed I/O systems in the presence of "uncertain inp…
cs.FL2015
Nested Weighted Automata
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Recently there has been a significant effort to handle quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide…