Name Card

Full name Familienname, Vorname
Murano, Aniello
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue 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 ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing Best-effort Strategies under Multiple Environment SpecificationsKonferenzbeitrag Inproceedings 2020
3Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing strategies under expected and exceptional environment behaviorsKonferenzbeitrag Inproceedings 2020
4Aminof, Benjamin ; Kwiatkowska, Marta ; Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha Probabilistic Strategy LogicKonferenzbeitrag Inproceedings 2019
5Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Planning under LTL Environment SpecificationsKonferenzbeitrag Inproceedings 2019
6Aminof Benjamin - 2018 - Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded modalities in Strategy LogicArticle Artikel 2018
7Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Synthesis under AssumptionsKonferenzbeitrag Inproceedings 2018
8Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016
9Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016
10Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded Strategy Logic: Reasoning about Uniqueness of Nash EquilibriaKonferenzbeitrag Inproceedings 2016
11Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Extended Graded Modalities in Strategy LogicKonferenzbeitrag Inproceedings2016
12Aminof Benjamin - 2015 - Verification of Asynchronous Mobile-Robots in...pdf.jpgAminof, Benjamin; Murano, Aniello ; Rubin, Sasha; Zuleger, FlorianVerification of Asynchronous Mobile-Robots in Partially-Known EnvironmentsInproceedings Konferenzbeitrag 2015

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben A Myhill-Nerode theorem for automata with adviceKonferenzbeitrag Inproceedings 2012