3 papers
cs.FL2025
Atomic Gliders and CA as Language Generators (Extended Version)
Dana Fisman, Noa Izsak
Cellular automata (CA) are well-studied models of decentralized parallel computation, known for their ability to exhibit complex global behavior from simple local rules. While thei…
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…