A Theory of Register Monitors

DOI10.1145/3209108.3209194zbMath1497.68261OpenAlexW2798942084MaRDI QIDQ5145314

N. Ege Saraç, Thomas Ferrère, Thomas A. Henzinger

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209194

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (3)

Quantitative safety and liveness ⋮ On probabilistic monitorability ⋮ A theory of monitors

This page was built for publication: A Theory of Register Monitors