1 citations · 1 across the 1 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Sound Conflict Analysis for Timed Contract Automata
Shaun Azzopardi, Gordon Pace
One can find various temporal deontic logics in literature, most focusing on discrete time. The literature on real-time constraints and deontic norms is much sparser. Thus, many an…
cs.FL2024
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Shaun Azzopardi, David Lidell, Nir Piterman
We present a translation from linear temporal logic with past to deterministic Rabin automata. The translation is direct in the sense that it does not rely on intermediate non-dete…