| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Stochastic Best-Effort Strategies for Borel Goals | Inproceedings Konferenzbeitrag | 2023 |
| 2 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Verification of agent navigation in partially-known environments | Article Artikel | Jul-2022 |
| 3 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments | Inproceedings Konferenzbeitrag | Jul-2022 |
| 4 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha | Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up | Konferenzbeitrag Inproceedings | 2021 |
| 5 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha | Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains | Konferenzbeitrag Inproceedings | 2020 |
| 6 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha | Synthesizing strategies under expected and exceptional environment behaviors | Konferenzbeitrag Inproceedings | 2020 |
| 7 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha | Synthesizing Best-effort Strategies under Multiple Environment Specifications | Konferenzbeitrag Inproceedings | 2020 |
| 8 | | Aminof, Benjamin ; Kwiatkowska, Marta ; Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha | Probabilistic Strategy Logic | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha | Planning under LTL Environment Specifications | Konferenzbeitrag Inproceedings | 2019 |
| 10 | | Aminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | Inproceedings Konferenzbeitrag | 2018 |
| 11 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded modalities in Strategy Logic | Article Artikel | 2018 |
| 12 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha | Synthesis under Assumptions | Konferenzbeitrag Inproceedings | 2018 |
| 13 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized model checking of rendezvous systems | Artikel Article | 2018 |
| 14 | | Aminof, Benjamin ; Rubin, Sasha | First-cycle games | Article Artikel | 2017 |
| 15 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Prompt Alternating-Time Epistemic Logics | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Extended Graded Modalities in Strategy Logic | Konferenzbeitrag Inproceedings | 2016 |
| 19 | | Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian | Liveness of Parameterized Timed Networks | Konferenzbeitrag Inproceedings | 2015 |
| 20 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized Model Checking of Rendezvous Systems | Präsentation Presentation | 2014 |