R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor

Aurandt, Alexis; Kristin Y. Rozier; Jones, Phillip

doi:10.34727/2025/isbn.978-3-85448-084-6_18

Record link:

http://hdl.handle.net/20.500.12708/219547
https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_18

Title:

R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor

Citation:

Aurandt, A., Kristin Y. Rozier, & Jones, P. (2025). R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor. In A. Irfan & D. Kaufmann (Eds.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 (pp. 126–132). TU Wien Academic Press. https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_18

reposiTUm DOI:

10.34727/2025/isbn.978-3-85448-084-6_18

CatalogPlus:

AC17653256

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Aurandt, Alexis
Kristin Y. Rozier
Jones, Phillip

Editors:

Irfan, Ahmed
Kaufmann, Daniela