|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha | Synthesizing strategies under expected and exceptional environment behaviors | Konferenzbeitrag Inproceedings  | 2020 |
| 2 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha | Synthesizing Best-effort Strategies under Multiple Environment Specifications | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Aminof, Benjamin ; Kwiatkowska, Marta ; Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha | Probabilistic Strategy Logic | Konferenzbeitrag Inproceedings | 2019 |
| 4 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha | Planning under LTL Environment Specifications | Konferenzbeitrag Inproceedings | 2019 |
| 5 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha | Synthesis under Assumptions | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Prompt Alternating-Time Epistemic Logics | Konferenzbeitrag Inproceedings | 2016 |
| 7 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments | Konferenzbeitrag Inproceedings | 2016 |
| 8 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria | Konferenzbeitrag Inproceedings | 2016 |
| 9 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Extended Graded Modalities in Strategy Logic | Konferenzbeitrag Inproceedings | 2016 |
| 10 |  | Aminof, Benjamin; Murano, Aniello ; Rubin, Sasha; Zuleger, Florian | Verification of Asynchronous Mobile-Robots in Partially-Known Environments | Inproceedings Konferenzbeitrag   | 2015 |
