Dario Della Monica
Università degli Studi di Udine
H-index: 16
Europe-Italy
Top articles of Dario Della Monica
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fuzzy Halpern and Shoham's interval temporal logics | Fuzzy Sets and Systems | Willem Conradie Dario Della Monica Emilio Muñoz-Velasco Guido Sciavicco Ionel Eduard Stan | 2023/3/30 |
Alternating (In) Dependence-Friendly Logic | Annals of Pure and Applied Logic | Dylan Bellier Massimo Benerecetti Dario Della Monica Fabio Mogavero | 2023/12/1 |
Good-for-game QPTL: an alternating hodges semantics | ACM Transactions on Computational Logic | Dylan Bellier Massimo Benerecetti Dario Della Monica Fabio Mogavero | 2023/1/23 |
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification | arXiv preprint arXiv:2309.17318 | Antonis Achilleos Dario Della Monica | 2023/9/29 |
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* | Dario Della Monica Angelo Montanari Gabriele Puppis Pietro Sala | 2023/6/26 | |
An interval temporal logic characterization of extended ω-regular languages | Theoretical Computer Science | Dario Della Monica Angelo Montanari Pietro Sala | 2023/6/22 |
Monitors that learn from failures: Pairing STL and genetic programming | IEEE Access | Andrea Brunello Dario Della Monica Angelo Montanari Nicola Saccomanno Andrea Urgolo | 2023/5/18 |
Decision trees with a modal flavor | Dario Della Monica Giovanni Pagliarini Guido Sciavicco Ionel Eduard Stan | 2022/11/28 | |
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification | Smail Niar Mazen Saghir Giuseppe Lipari Özcan Özturk | 2018 | |
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games … | D Della Monica GL Pozzato | 2021 | |
Extended ω-Regular Languages and Interval Temporal Logic | CEUR WORKSHOP PROCEEDINGS | Dario Della Monica Angelo Montanari Pietro Sala | 2021 |
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts | Theoretical Computer Science | David Barozzini David de Frutos-Escrig Dario Della Monica Angelo Montanari Pietro Sala | 2020/4/12 |
Time Series Checking with Fuzzy Interval Temporal Logics. | Willem Conradie Dario Della Guido Sciavicco Ionel Eduard | 2020 | |
An approach to fuzzy modal logic of time intervals | Willem Conradie Dario Della Monica Emilio Munoz-Velasco Guido Sciavicco | 2020 | |
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. | Andrea Brunello Dario Della Monica Angelo Montanari Andrea Urgolo | 2020/9/25 | |
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. | Dario Della Monica Angelo Montanari Guido Sciavicco Ionel Eduard Stan | 2020/9/25 | |
Complexity of qualitative timeline-based planning | Dario Della Monica Nicola Gigante Salvatore La Torre Angelo Montanari | 2020 |