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

Datensatz Zitierlink:

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

Titel:

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

Zitat:

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

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Aurandt, Alexis
Kristin Y. Rozier
Jones, Phillip

Herausgeber_innen:

Irfan, Ahmed
Kaufmann, Daniela