Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.

Luca Geatti Alessio Mansutti Angelo Montanari

Published in: FoSSaCS (2) (2024)

Keyphrases

management system
learning systems
computer systems
temporal logic
data sets
information retrieval
mobile robot
building blocks
complex systems
modal logic