Monitors that Learn from Failures: Pairing STL and Genetic Programming von Brunello, Andrea, Monica, Dario Della, Montanari, Angelo, Saccomanno, Nicola, Urgolo, Andrea

Volltext

Good-for-Game QPTL: An Alternating Hodges Semantics von Bellier, Dylan, Benerecetti, Massimo, Monica, Dario Della, Mogavero, Fabio

Volltext

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story von Romero-Hernández, David, de Frutos-Escrig, David, Della Monica, Dario

Volltext

The dark side of interval temporal logic: marking the undecidability border von Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Volltext

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT von Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sciavicco, Guido

Volltext

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata von Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Volltext

A Foundation for Runtime Monitoring von Francalanza, Adrian, Aceto, Luca, Achilleos, Antonis, Attard, Duncan Paul, Cassar, Ian, Della Monica, Dario, Ingólfsdóttir, Anna

Volltext

On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders von Aceto, Luca, Della Monica, Dario, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Volltext

An interval temporal logic characterization of extended ω-regular languages von Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Volltext

Model checking coalitional games in shortage resource scenarios von Della Monica, Dario, Napoli, Margherita, Parente, Mimmo

Volltext

Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification: Preface von Achilleos, Antonis, Della Monica, Dario

Volltext

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification: Preface von Ganty, Pierre, Della Monica, Dario

Volltext

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization von Acampora, Renato, Dario Della Monica, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Sala, Pietro

Volltext

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification von Ganty, Pierre, Dario Della Monica

Volltext

When Are Prime Formulae Characteristic? von Aceto, Luca, Dario Della Monica, Fábregas, Ignacio, Ingólfsdóttir, Anna

Volltext

Fuzzy Halpern and Shoham's interval temporal logics von Conradie, Willem, Della Monica, Dario, Muñoz-Velasco, Emilio, Sciavicco, Guido, Stan, Ionel Eduard

Volltext

Alternating (In)Dependence-Friendly Logic von Bellier, Dylan, Benerecetti, Massimo, Della Monica, Dario, Mogavero, Fabio

Volltext

Good-for-Game QPTL: An Alternating Hodges Semantics von Bellier, Dylan, Benerecetti, Massimo, Monica, Dario Della, Mogavero, Fabio

Volltext

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture von Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Volltext

Prompt Interval Temporal Logic von Della Monica, Dario, Montanari, Angelo, Murano, Aniello, Sala, Pietro

Volltext