Name Card

Full name Familienname, Vorname
Aminof, Benjamin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-20 of 23 (Search time: 0.02 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aminof-2023-Stochastic Best-Effort Strategies for Borel Goals-am.pdf.jpgAminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Stochastic Best-Effort Strategies for Borel GoalsInproceedings Konferenzbeitrag 2023
2Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Verification of agent navigation in partially-known environmentsArticle Artikel Jul-2022
3Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Beyond Strong-Cyclic: Doing Your Best in Stochastic EnvironmentsInproceedings Konferenzbeitrag Jul-2022
4Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving UpKonferenzbeitrag Inproceedings 2021
5Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic DomainsKonferenzbeitrag Inproceedings 2020
6Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing strategies under expected and exceptional environment behaviorsKonferenzbeitrag Inproceedings 2020
7Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing Best-effort Strategies under Multiple Environment SpecificationsKonferenzbeitrag Inproceedings 2020
8Aminof, Benjamin ; Kwiatkowska, Marta ; Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha Probabilistic Strategy LogicKonferenzbeitrag Inproceedings 2019
9Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Planning under LTL Environment SpecificationsKonferenzbeitrag Inproceedings 2019
10Aminof Benjamin - 2018 - Parameterized Model Checking of Synchronous Distributed...pdf.jpgAminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian Parameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018
11Aminof Benjamin - 2018 - Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded modalities in Strategy LogicArticle Artikel 2018
12Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Synthesis under AssumptionsKonferenzbeitrag Inproceedings 2018
13Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized model checking of rendezvous systemsArtikel Article 2018
14Aminof Benjamin - 2017 - First-cycle games.pdf.jpgAminof, Benjamin ; Rubin, Sasha First-cycle gamesArticle Artikel 2017
15Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016
16Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016
17Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded Strategy Logic: Reasoning about Uniqueness of Nash EquilibriaKonferenzbeitrag Inproceedings 2016
18Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Extended Graded Modalities in Strategy LogicKonferenzbeitrag Inproceedings2016
19Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian Liveness of Parameterized Timed NetworksKonferenzbeitrag Inproceedings 2015
20Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hafner Johannes - 2018 - Rendezvous-multiple broadcast networks.pdf.jpgHafner, Johannes Rendezvous-multiple broadcast networksThesis Hochschulschrift 2018