On the Expressiveness and Monitoring of Metric Temporal Logic

Ho, Hsi-Ming; Ouaknine, Joël; Worrell, James

doi:10.23638/LMCS-15(2:13)2019

Lokale TagsFreigabegeschichteDetailsÜbersicht

On the Expressiveness and Monitoring of Metric Temporal Logic

Ho, H.-M., Ouaknine, J., & Worrell, J. (2019). On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science, 15(2): 13. doi:10.23638/LMCS-15(2:13)2019.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0005-D89E-6 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0005-D89F-5

Genre: Zeitschriftenartikel

ausblenden:

Urheber:
Ho, Hsi-Ming¹, Autor
Ouaknine, Joël², Autor
Worrell, James¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691