Sasha Rubin’s publications

2018
[44]Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Benjamin Aminof, Ilina Stoilkovska, Sasha Rubin, Josef Widder, Florian Zuleger
VMCAI'18, 2018.
[bibtex]
2017
[43]Nash Equilibria in Concurrent Games with Lexicographic Preferences
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael Wooldridge
International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017.
[bibtex] [doi]
[42] Strategy logic with imperfect information
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1-12, 2017.
[bibtex] [pdf] [doi]
[41]Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017.
[bibtex]
[40]Verification of Multi-agent Systems with Imperfect Information and Public Actions
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Proceedings of the 2017 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2017), pages 1268-1276, 2017.
[bibtex]
[39]Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
ICAPS 2017 Workshop on Generalized Planning, 2017.
[bibtex]
[38]Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017.
[bibtex]
[37] Parameterized model checking of rendezvous systems
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Distributed Computing, pages 1-36, 2017.
[bibtex] [pdf] [doi]
2016
[36]Imperfect information games and generalized planning
Giuseppe De Giacomo, Antonio Di Stasio, Aniello Murano, Sasha Rubin
International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016.
[bibtex]
[35]Decidability in Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
SIGACT News, volume 47, number 2, pages 53-64, 2016.
[bibtex]
[34]Prompt Alternating-Time Epistemic Logics
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Principles of Knowledge Representation and Reasoning: Proc. of the 15th International Conference, (KR 2016), pages 258-267, 2016.
[bibtex]
[33]Model Checking Parameterised Multi-token Systems via the Composition Method
Benjamin Aminof, Sasha Rubin
Proc. 8th International Joint Conference on Automated Reasoning, (IJCAR 2016), pages 499-515, 2016.
[bibtex]
[32]Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pages 1190-1199, 2016.
[bibtex]
[31]Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pages 698-706, 2016.
[bibtex]
[30]First Cycle Games
Benjamin Aminof, Sasha Rubin
Information and Computation, 2016.
[bibtex]
[29]Graded Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Proceedings 4th International Workshop on Strategic Reasoning, SR 2016, New York, USA., 2016.
[bibtex]
2015
[28]Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015, Morgan & Claypool Publishers.
[bibtex]
[27]Verification of Asynchronous Mobile-Robots in Partially-Known Environments
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pages 185-200, 2015.
[bibtex]
[26]Multi-agent Path Planning in Known Dynamic Environments
Aniello Murano, Giuseppe Perelli, Sasha Rubin
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pages 218-231, 2015.
[bibtex]
[25]On the Expressive Power of Communication Primitives in Parameterised Systems
Benjamin Aminof, Sasha Rubin, Florian Zuleger
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pages 313-328, 2015.
[bibtex]
[24]On CTL* with Graded Path Modalities
Benjamin Aminof, Aniello Murano, Sasha Rubin
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pages 281-296, 2015.
[bibtex]
[23]Liveness of Parameterized Timed Networks
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pages 375-387, 2015.
[bibtex]
[22]Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments
Sasha Rubin
Proc. of the International Conference on Autonomous Agents and Multiagent Systems, (AAMAS 2015), pages 199-208, 2015.
[bibtex]
2014
[21]Alternating traps in Muller and parity games
Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea
Theoretical Computer Science, volume 521, pages 73-91, 2014.
[bibtex]
[20]First Cycle Games
Benjamin Aminof, Sasha Rubin
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pages 83-90, 2014.
[bibtex]
[19]Parameterized Model Checking of Token-Passing Systems
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, pages 262-281, 2014.
[bibtex]
[18]Parameterized Model Checking of Rendezvous Systems
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pages 109-124, 2014.
[bibtex]
2013
[17]How to Travel between Languages
Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin
Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pages 214-225, 2013.
[bibtex]
2012
[16]A Myhill-Nerode theorem for automata with advice
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pages 238-246, 2012.
[bibtex]
[15]Interpretations in Trees with Countably Many Branches
Alexander Rabinovich, Sasha Rubin
LICS 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, June 25-28, 2012, pages 551-560, 2012.
[bibtex]
2011
[14]Automata-based presentations of infinite structures
Vince Bárány, Erich Grädel, Sasha Rubin
Chapter in Finite and Algorithmic Model Theory (Javier Esparza, Christian Michaux, Charles Steinhorn, eds.), pages 1-76, 2011, Cambridge University Press.
Note: Cambridge Books Online
[bibtex]
2008
[13]Automata Presenting Structures: A Survey of the Finite String Case
Sasha Rubin
Bulletin of Symbolic Logic, volume 14, number 2, pages 169-209, 2008.
[bibtex]
[12]Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin, Vince Bárány
STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pages 385-396, 2008.
[bibtex]
[11]Order-Invariant MSO is Stronger than Counting MSO in the Finite
Tobias Ganzow, Sasha Rubin
STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pages 313-324, 2008.
[bibtex]
2007
[10]Automatic Structures: Richness and Limitations
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Logical Methods in Computer Science, volume 3, number 2, 2007.
[bibtex]
2005
[9]Automatic linear orders and trees
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
ACM Transactions on Computational Logic, volume 6, number 4, pages 675-700, 2005.
[bibtex]
[8]Decidability of Term Algebras Extending Partial Algebras
Bakhadyr Khoussainov, Sasha Rubin
Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pages 292-308, 2005.
[bibtex]
2004
[7]Definability and Regularity in Automatic Structures
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pages 440-451, 2004.
[bibtex]
[6]Automatic Structures: Richness and Limitations
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
LICS 2004, 19th IEEE Symposium on Logic in Computer Science, 14-17 July 2004, Turku, Finland, Proceedings, pages 44-53, 2004.
[bibtex]
[5]Verifying omega-Regular Properties of Markov Chains
Doron Bustan, Sasha Rubin, Moshe Y. Vardi
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pages 189-201, 2004.
[bibtex]
2003
[4]Automatic Structures: Overview and Future Directions
Bakhadyr Khoussainov, Sasha Rubin
Journal of Automata, Languages and Combinatorics, volume 8, number 2, pages 287-301, 2003.
[bibtex]
[3]On Automatic Partial Orders
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
LICS 2003, 18th IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada, Proceedings, pages 168-177, 2003.
[bibtex]
2002
[2]Some Results on Automatic Structures
Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
LICS 2002, 17th IEEE Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen, Denmark, Proceedings, pages 235, 2002.
[bibtex]
2001
[1]Graphs with Automatic Presentations over a Unary Alphabet
Bakhadyr Khoussainov, Sasha Rubin
Journal of Automata, Languages and Combinatorics, volume 6, number 4, pages 467-480, 2001.
[bibtex]

Latest News

FMSD Special Issue in Memoriam Helmut Veith

In memory of Helmut Veith, the founder of the FORSYTE research group, the current issue of the Journal on Formal Methods in System Design is a Special Issue in Memoriam Helmut Veith. Helmut unexpectedly passed away in March 2016; he was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the […]

Continue reading

Helmut Veith Stipend 2017: Deadline Extension (November 30)

The application deadline for the Helmut Veith Stipend 2017 has been extended to November 30. The stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. We encourage all female master’s students attending (or planning to attend) […]

Continue reading

Helmut Veith Stipend 2017

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Helmut Veith Stipend

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]

Continue reading

Full news archive