Browsing by Author Aminof, Benjamin

Showing results 1 to 7 of 7
PreviewAuthors / EditorsTitleTypeIssue Date
First-cycle games.pdf.jpgAminof, Benjamin; Rubin, SashaFirst-cycle gamesArticle Artikel 2017
Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin; Malvone, Vadim ; Murano, Aniello; Rubin, SashaGraded modalities in Strategy LogicArticle Artikel 2018
Model Checking Parameterised Multi-token Systems via the Composition Method.pdf.jpgAminof, Benjamin; Rubin, SashaModel Checking Parameterised Multi-token Systems via the Composition MethodInproceedings Konferenzbeitrag 2016
On CTL with Graded Path Modalities.pdf.jpgAminof, Benjamin; Murano, Aniello; Rubin, SashaOn CTL∗ with Graded Path ModalitiesInproceedings Konferenzbeitrag 2015
On the expressive power of communication primitives in parameterised systems.pdf.jpgAminof, Benjamin; Rubin, Sasha; Zuleger, FlorianOn the expressive power of communication primitives in parameterised systemsInproceedings Konferenzbeitrag 2015
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.pdf.jpgAminof, Benjamin; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef; Zuleger, FlorianParameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018
Verification of Asynchronous Mobile-Robots in Partially-Known Environments.pdf.jpgAminof, Benjamin; Murano, Aniello ; Rubin, Sasha; Zuleger, FlorianVerification of Asynchronous Mobile-Robots in Partially-Known EnvironmentsInproceedings Konferenzbeitrag 2015
Showing results 1 to 7 of 7