Grgur Petric Maretic

Anchored LTL separation

Muhammad Torabi Dashti, David A. Basin, Grgur Petric Maretic, 2014, CSL-LICS.

Semantic Vacuity

David A. Basin, Grgur Petric Maretic, Muhammad Torabi Dasthi, 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

LTL is closed under topological closure

Muhammad Torabi Dashti, David A. Basin, Grgur Petric Maretic, 2014, Inf. Process. Lett..