2 papers
cs.FL2025
Runtime Consultants
Dana Fisman, Elina Sudit
In this paper we introduce the notion of a runtime consultant. A runtime consultant is defined with respect to some value function on infinite words. Similar to a runtime monitor,…
cs.FL2025
Omega-Regular Robustness
Dana Fisman, Elina Sudit
Roughly speaking, a system is said to be robust if it can resist disturbances and still function correctly. For instance, if the requirement is that the temperature remains in an a…