|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel  | 2026 |
| 2 | | Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele | A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators | Article Artikel | 26-Sep-2025 |
| 3 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 4 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag   | 5-Jun-2025 |
| 5 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 6 | | Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2025 |
| 7 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 8 | | Adam, Sebastian ; Eiter, Thomas | ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning | Inproceedings Konferenzbeitrag | 2025 |
| 9 | | Wallner, Felix ; Aichernig, Bernhard ; Lorber, Florian ; Tappler, Martin | Mutating Skeletons: Learning Timed Automata via Domain Knowledge | Inproceedings Konferenzbeitrag | 2025 |
| 10 | | Lopez-Miguel, Ignacio D. | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement | Inproceedings Konferenzbeitrag | 21-May-2024 |
| 11 |  | Bonte, Pieter ; Calbimonte, Jean-Paul ; de Leng, Daniel ; Dell'Aglio, Daniele ; Valle, Emanuele Della ; Eiter, Thomas ; Giannini, Federico ; Heintz, Fredrik ; Kostyantyn Shchekotykhin ; Le Phuoc, Danh ; Mileo, Alessandra ; Schneider, Patrik ; Tommasini, Riccardo ; Urbani, Jacopo ; Ziffer, Giacomo | Grounding stream reasoning research | Article Artikel | 3-May-2024 |
| 12 | | Stankovic, Miroslav ; Bartocci, Ezio | Probabilistic Loop Synthesis from Sequences of Moments | Inproceedings Konferenzbeitrag | 2024 |
| 13 | | Ciabattoni, Agata ; Eisenhofer, Clemens ; Rozplokhas, Dmitry | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover | Inproceedings Konferenzbeitrag | 2024 |
| 14 | | Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura | Adaptable Configuration of Decentralized Monitors | Inproceedings Konferenzbeitrag | 2024 |
| 15 | | Ciabattoni, Agata ; Rozplokhas, Dmitry | Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) | Inproceedings Konferenzbeitrag | 2024 |
| 16 | | Pranger, Stefan ; Chockler, Hana ; Tappler, Martin ; Könighofer, Bettina | Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning | Inproceedings Konferenzbeitrag | 2024 |
| 17 | | Qu, Meixun ; He, Jie ; Tucakovic, Zlatan ; Bartocci, Ezio ; Nickovic, Dejan ; Isakovic, Haris ; Grosu, Radu | DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications | Inproceedings Konferenzbeitrag | 2024 |
| 18 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 19 | | Muskardin, Edi ; Tappler, Martin ; Pill, Ingo ; Aichernig, Bernhard ; Pock, Thomas | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures | Inproceedings Konferenzbeitrag | 2024 |
| 20 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii | Streamlining Input/Output Logics with Sequent Calculi | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
