Sasha Rubin’s publications
| 2019 | |
| [56] | Model-checking graded computation-tree logic with finite path semantics Theoretical Computer Science, 2019. |
| [55] | Reasoning about changes of observational power in logics of knowledge and time AAMAS, 2019. |
| [54] | Planning under LTL Environment Specifications ICAPS, 2019. |
| 2018 | |
| [53] | Graded CTL* over finite paths Proc. Italian conference on Theoretical Computer Science, 2018. |
| [52] | Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018. |
| [51] | On CTL* with Graded Path Modalities Information and Computation, 2018. |
| [50] | Quantifying Bounds in Strategy Logic CSL, volume 119 of LIPIcs, pages 23:1–23:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. |
| [49] | Changing Observations in Epistemic Temporal Logic KR18, 2018. |
| [48] | Decidable Verification of Multi-agent Systems with Bounded Private Actions (Extended Abstract) 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. |
| [47] | Alternating-time Temporal Logic on Finite Traces International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018. |
| [46] | Planning and Synthesis Under Assumptions KR18, 2018. |
| [45] | Graded modalities in Strategy Logic Information and Computation, 2018. |
| [44] | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction VMCAI'18, 2018. |
| 2017 | |
| [43] | Nash Equilibria in Concurrent Games with Lexicographic Preferences International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017. |
| [42] | Strategy logic with imperfect information 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1–12, 2017. |
| [41] | Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017. |
| [40] | Verification of Multi-agent Systems with Imperfect Information and Public Actions Proceedings of the 2017 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2017), pages 1268-1276, 2017. |
| [39] | Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints ICAPS 2017 Workshop on Generalized Planning, 2017. |
| [38] | Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017. |
| [37] | Parameterized model checking of rendezvous systems Distributed Computing, pages 1–36, 2017. |
| 2016 | |
| [36] | Imperfect information games and generalized planning International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016. |
| [35] | Decidability in Parameterized Verification SIGACT News, volume 47, number 2, pages 53–64, 2016. |
| [34] | Prompt Alternating-Time Epistemic Logics Principles of Knowledge Representation and Reasoning: Proc. of the 15th International Conference, (KR 2016), pages 258–267, 2016. |
| [33] | Model Checking Parameterised Multi-token Systems via the Composition Method Proc. 8th International Joint Conference on Automated Reasoning, (IJCAR 2016), pages 499–515, 2016. |
| [32] | Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pages 1190–1199, 2016. |
| [31] | Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pages 698–706, 2016. |
| [30] | First Cycle Games Information and Computation, 2016. |
| [29] | Graded Strategy Logic Proceedings 4th International Workshop on Strategic Reasoning, SR 2016, New York, USA., 2016. |
| 2015 | |
| [28] | Decidability of Parameterized Verification 2015, Morgan & Claypool Publishers. |
| [27] | Verification of Asynchronous Mobile-Robots in Partially-Known Environments PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pages 185–200, 2015. |
| [26] | Multi-agent Path Planning in Known Dynamic Environments PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pages 218–231, 2015. |
| [25] | On the Expressive Power of Communication Primitives in Parameterised Systems Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pages 313–328, 2015. |
| [24] | On CTL* with Graded Path Modalities Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pages 281–296, 2015. |
| [23] | Liveness of Parameterized Timed Networks Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pages 375–387, 2015. |
| [22] | Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments Proc. of the International Conference on Autonomous Agents and Multiagent Systems, (AAMAS 2015), pages 199–208, 2015. |
| 2014 | |
| [21] | Alternating traps in Muller and parity games Theoretical Computer Science, volume 521, pages 73–91, 2014. |
| [20] | First Cycle Games Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pages 83–90, 2014. |
| [19] | Parameterized Model Checking of Token-Passing Systems Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, pages 262–281, 2014. |
| [18] | Parameterized Model Checking of Rendezvous Systems CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pages 109–124, 2014. |
| 2013 | |
| [17] | How to Travel between Languages Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pages 214–225, 2013. |
| 2012 | |
| [16] | A Myhill-Nerode theorem for automata with advice Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pages 238–246, 2012. |
| [15] | Interpretations in Trees with Countably Many Branches LICS 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, June 25-28, 2012, pages 551–560, 2012. |
| 2011 | |
| [14] | Automata-based presentations of infinite structures 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 |
| 2008 | |
| [13] | Automata Presenting Structures: A Survey of the Finite String Case Bulletin of Symbolic Logic, volume 14, number 2, pages 169–209, 2008. |
| [12] | Cardinality and counting quantifiers on omega-automatic structures STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pages 385–396, 2008. |
| [11] | Order-Invariant MSO is Stronger than Counting MSO in the Finite STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pages 313–324, 2008. |
| 2007 | |
| [10] | Automatic Structures: Richness and Limitations Logical Methods in Computer Science, volume 3, number 2, 2007. |
| 2005 | |
| [9] | Automatic linear orders and trees ACM Transactions on Computational Logic, volume 6, number 4, pages 675–700, 2005. |
| [8] | Decidability of Term Algebras Extending Partial Algebras 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. |
| 2004 | |
| [7] | Definability and Regularity in Automatic Structures STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pages 440–451, 2004. |
| [6] | Automatic Structures: Richness and Limitations LICS 2004, 19th IEEE Symposium on Logic in Computer Science, 14-17 July 2004, Turku, Finland, Proceedings, pages 44–53, 2004. |
| [5] | Verifying omega-Regular Properties of Markov Chains Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pages 189–201, 2004. |
| 2003 | |
| [4] | Automatic Structures: Overview and Future Directions Journal of Automata, Languages and Combinatorics, volume 8, number 2, pages 287–301, 2003. |
| [3] | On Automatic Partial Orders LICS 2003, 18th IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada, Proceedings, pages 168–177, 2003. |
| 2002 | |
| [2] | Some Results on Automatic Structures LICS 2002, 17th IEEE Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen, Denmark, Proceedings, pages 235, 2002. |
| 2001 | |
| [1] | Graphs with Automatic Presentations over a Unary Alphabet Journal of Automata, Languages and Combinatorics, volume 6, number 4, pages 467–480, 2001. |
