Grgur Petric Maretic

According to our database, Grgur Petric Maretic authored at least 3 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Semantic Vacuity.

Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

2014

LTL is closed under topological closure.

Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin

Inf. Process. Lett., 2014

Anchored LTL separation.

Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014