|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Lopez-Miguel, Ignacio D. ; Happe, Andreas ; Cito, Jürgen ; Bartocci, Ezio ; Könighofer, Bettina ; Tappler, Martin | ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning | Inproceedings Konferenzbeitrag  | 3-Oct-2026 |
| 2 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 3 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 4 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel | 2026 |
| 5 | | Moeini Jam, Mehran ; Kalantari, Hamed ; Khamespanah, Ehsan ; Sirjani, Marjan ; Movaghar, Ali | Compositional Verification of Timed Automata via Violation Assumptions | Inproceedings Konferenzbeitrag | 2026 |
| 6 | | Adam, Sebastian Philipp ; Eiter, Thomas | ASP-Based Probabilistic Policy Fixing for Norm Compliant RL | Inproceedings Konferenzbeitrag | 2026 |
| 7 | | Marzari, Luca ; Bartocci, Ezio ; Marchesini, Enrico | A Survey on the Verification of Reinforcement Learning Policies | Inproceedings Konferenzbeitrag | 2026 |
| 8 | | Marzari, Luca ; Marchesini, Enrico | Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning | Inproceedings Konferenzbeitrag | 2026 |
| 9 | | Cabalar, Pedro ; Eiter, Thomas ; Pearce, David ; Soldà, Davide | Brief Temporal Equilibrium Logic | Presentation Vortrag | 25-Nov-2025 |
| 10 | | Adam, Sebastian ; Eiter, Thomas | Incremental Lazy Grounding (Work in Progress) | Presentation Vortrag | Nov-2025 |
| 11 | | 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 |
| 12 | | Eiter, Thomas ; Soldà, Davide | On Temporal ASP with Eager Unfoldable Operators | Inproceedings Konferenzbeitrag | Aug-2025 |
| 13 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 14 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag   | 5-Jun-2025 |
| 15 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 16 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 17 | | Adam, Sebastian ; Eiter, Thomas | ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning | Inproceedings Konferenzbeitrag | 2025 |
| 18 | | Wallner, Felix ; Aichernig, Bernhard ; Lorber, Florian ; Tappler, Martin | Mutating Skeletons: Learning Timed Automata via Domain Knowledge | Inproceedings Konferenzbeitrag | 2025 |
| 19 | | 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 |
| 20 | | Lopez-Miguel, Ignacio D. | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement | Inproceedings Konferenzbeitrag | 21-May-2024 |
