Showing 2024Show all
2 papers · 1 filter
cs.FL2024
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
Renato Acampora, Dario Della Monica, Luca Geatti +3
Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative…
cs.LO2024
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
Luca Geatti, Alessio Mansutti, Angelo Montanari
This paper focuses on succinctness results for fragments of Linear Temporal Logic with Past (LTL) devoid of binary temporal operators like until, and provides methods to establish…