Grgur Petric Maretic

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Topological Features

Linear Time Temporal Logic

Semantic Structures

Bounded Model Checking

Top Venues

Inf. Process. Lett.

Publications

Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin
Semantic Vacuity. TIME (2015)
Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
Anchored LTL separation. CSL-LICS (2014)
Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
LTL is closed under topological closure. Inf. Process. Lett. 114 (8) (2014)