Prefix title Titel (vorangestellt)
Projektass.
 
Full name Familienname, Vorname
Aminof, Benjamin
 
Postfix title Titel (nachgestellt)
PhD
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 22 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Verification of agent navigation in partially-known environmentsArticle Artikel Jul-2022
2Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Beyond Strong-Cyclic: Doing Your Best in Stochastic EnvironmentsInproceedings Konferenzbeitrag Jul-2022
3Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving UpKonferenzbeitrag Inproceedings 2021
4Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing strategies under expected and exceptional environment behaviorsKonferenzbeitrag Inproceedings 2020
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 Best-effort Strategies under Multiple Environment SpecificationsKonferenzbeitrag Inproceedings 2020
7Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Planning under LTL Environment SpecificationsKonferenzbeitrag Inproceedings 2019
8Aminof, Benjamin ; Kwiatkowska, Marta ; Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha Probabilistic Strategy LogicKonferenzbeitrag Inproceedings 2019
9Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized model checking of rendezvous systemsArtikel Article2018
10Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Synthesis under AssumptionsKonferenzbeitrag Inproceedings 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 - 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
13Aminof Benjamin - 2017 - First-cycle games.pdf.jpgAminof, Benjamin ; Rubin, Sasha First-cycle gamesArticle Artikel 2017
14Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016
15Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016
16Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded Strategy Logic: Reasoning about Uniqueness of Nash EquilibriaKonferenzbeitrag Inproceedings 2016
17Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Extended Graded Modalities in Strategy LogicKonferenzbeitrag Inproceedings2016
18Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian Liveness of Parameterized Timed NetworksKonferenzbeitrag Inproceedings 2015
19Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
20Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Hafner Johannes - 2018 - Rendezvous-multiple broadcast networks.pdf.jpgHafner, Johannes Rendezvous-multiple broadcast networksThesis Hochschulschrift 2018



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