Sasha Rubin’s publications

2019
[56] Model-checking graded computation-tree logic with finite path semantics
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
Theoretical Computer Science, 2019.
[bibtex] [pdf] [doi]
[55]Reasoning about changes of observational power in logics of knowledge and time
Bastien Maubert Aniello Murano Aurele Barriere, Sasha Rubin
AAMAS, 2019.
[bibtex]
[54]Planning under LTL Environment Specifications
Giuseppe De Giacomo Aniello Murano Benjamin Aminof, Sasha Rubin
ICAPS, 2019.
[bibtex]
2018
[53]Graded CTL* over finite paths
Aniello Murano, Loredana Sorrentino, Sasha Rubin
Proc. Italian conference on Theoretical Computer Science, 2018.
[bibtex]
[52]Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
Giuseppe De Giacomo, Sasha Rubin
International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018.
[bibtex]
[51]On CTL* with Graded Path Modalities
Benjamin Aminof, Aniello Murano, Sasha Rubin
Information and Computation, 2018.
[bibtex] [pdf]
[50]Quantifying Bounds in Strategy Logic
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
CSL, volume 119 of LIPIcs, pages 23:1–23:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex]
[49]Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, Aniello Murano, Rubin. Sasha
KR18, 2018.
[bibtex]
[48] Decidable Verification of Multi-agent Systems with Bounded Private Actions (Extended Abstract)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 (Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, eds.), pages 1865–1867, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM.
[bibtex] [pdf]
[47]Alternating-time Temporal Logic on Finite Traces
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018.
[bibtex]
[46]Planning and Synthesis Under Assumptions
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
KR18, 2018.
[bibtex]
[45] Graded modalities in Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Information and Computation, 2018.
[bibtex] [pdf] [doi]
[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

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive

See all news.