Full name Familienname, Vorname
Rubin, Sasha
 
Postfix title Titel (nachgestellt)
PhD
 
Main Affiliation Organisations­zuordnung
 

Results 1-16 of 16 (Search time: 0.003 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 - 2018 - Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded modalities in Strategy LogicArticle Artikel 2018
3Aminof 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
4Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded Strategy Logic: Reasoning about Uniqueness of Nash EquilibriaKonferenzbeitrag Inproceedings 2016
5Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Extended Graded Modalities in Strategy LogicKonferenzbeitrag Inproceedings2016
6Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016
7Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016
8Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
9Aminof, Benjamin ; Rubin, Sasha First Cycle GamesKonferenzbeitrag Inproceedings 2014
10Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014
11Aminof, Benjamin ; Jacobs, Swen ; Khalimov, Ayrat ; Rubin, Sasha Parameterized Model Checking of Token-Passing SystemsKonferenzbeitrag Inproceedings 2014
12Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
13Rubin, Sasha Parameterised Verification of Robot Protocols: An Automata Theoretic ApproachPräsentation Presentation2014
14Rubin, Sasha First Cycle GamesPräsentation Presentation2014
15Rabinovich, Alexander ; Rubin, Sasha Interpretations in Trees with Countably Many BranchesKonferenzbeitrag Inproceedings 2012
16Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben ; Faella, Marco ; Murano, Aniello A Myhill-Nerode theorem for automata with adviceKonferenzbeitrag Inproceedings 2012