Sasha Rubin - RankMe

120 papers A* 37A 10B 10C 2Journal 47Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Editorial: special issue on the Australasian Logic Colloquium 2023. J. Log. Comput. Guillermo Badia, Sasha Rubin
2025	J	`jnl`	Example-Free Learning of Regular Languages with Prefix Queries. CoRR Eve Fernando, Sasha Rubin, Rahul Gopinath
2025	A*	`conf`	LTL Synthesis Under Multi-Agent Environment Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin
2025	J	`jnl`	LTLf synthesis under environment specifications for reachability and safety properties. Inf. Comput. Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2025	A*	`conf`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2025	J	`jnl`	Most General Explanations of Tree Ensembles (Extended Version). CoRR Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025	A*	`conf`	Most General Explanations of Tree Ensembles. IJCAI Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025	J	`jnl`	Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. Log. Methods Comput. Sci. Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2025	—	`conf`	Reusable Formal Verification of DAG-Based Consensus Protocols. NFM Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2024	A*	`conf`	Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin
2024	J	`jnl`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2024	A*	`conf`	Planning with Object Creation. ICAPS Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
2024	A*	`conf`	Probabilistic Synthesis and Verification for LTL on Finite Traces. KR Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger
2024	A*	`conf`	Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. KR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2024	J	`jnl`	Reusable Formal Verification of DAG-based Consensus Protocols. CoRR Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2023	—	`conf`	Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. OVERLAY@AI*IA Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan
2023	J	`jnl`	LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2023	J	`jnl`	Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. Bastien Maubert, Aniello Murano, Sasha Rubin
2023	J	`jnl`	Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. CoRR Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2023	A*	`conf`	Reactive Synthesis of Dominant Strategies. AAAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2023	A*	`conf`	Stochastic Best-Effort Strategies for Borel Goals. LICS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2023	C	`conf`	sc ltl EUMAS Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2022	A*	`conf`	Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2022	A*	`conf`	Formula Synthesis in Propositional Dynamic Logic with Shuffle. AAAI Sophie Pinchinat, Sasha Rubin, François Schwarzentruber
2022	A*	`conf`	Public and Private Affairs in Strategic Reasoning. KR Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2022	A*	`conf`	Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints. AAAI Niku Gorji, Sasha Rubin
2022	J	`jnl`	Verification of agent navigation in partially-known environments. Artif. Intell. Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	—	`ch.`	Automatic structures. Handbook of Automata Theory (II.) Sasha Rubin
2021	A*	`conf`	Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2021	J	`jnl`	Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	Preface. Inf. Comput. Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Reasoning About Agents That May Know Other Agents' Strategies. IJCAI Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	J	`jnl`	Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2021	J	`jnl`	Sufficient reasons for classifier decisions in the presence of constraints. CoRR Niku Gorji, Sasha Rubin
2021	A*	`conf`	Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	J	`jnl`	Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2020	A*	`conf`	High-level Programming via Generalized Planning and LTL Synthesis. KR Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
2020	J	`jnl`	Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
2020	J	`jnl`	Optimal Strategies in Weighted Limit Games (full version). CoRR Aniello Murano, Sasha Rubin, Martin Zimmermann
2020	—	`conf`	Optimal Strategies in Weighted Limit Games. GandALF Aniello Murano, Sasha Rubin, Martin Zimmermann
2020	J	`jnl`	Preface. Theor. Comput. Sci. Aniello Murano, Sasha Rubin
2020	A*	`conf`	Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
2020	A*	`conf`	Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2020	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2020	A*	`conf`	Synthesizing strategies under expected and exceptional environment behaviors. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	J	`jnl`	Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
2019	B	`conf`	Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
2019	A*	`conf`	Planning under LTL Environment Specifications. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Probabilistic Strategy Logic. IJCAI Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	A	`conf`	Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2019	—	`conf`	Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
2018	A*	`conf`	Alternating-time Temporal Logic on Finite Traces. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI Giuseppe De Giacomo, Sasha Rubin
2018	J	`jnl`	CTL* with graded path modalities. Inf. Comput. Benjamin Aminof, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Changing Observations in Epistemic Temporal Logic. KR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Changing Observations in Epistemic Temporal Logic. CoRR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	A	`conf`	Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	—	`conf`	Graded CTL* over Finite Paths. ICTCS Loredana Sorrentino, Sasha Rubin, Aniello Murano
2018	J	`jnl`	Graded modalities in Strategy Logic. Inf. Comput. Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2018	B	`conf`	Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
2018	J	`jnl`	Parameterized model checking of rendezvous systems. Distributed Comput. Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2018	J	`jnl`	Planning and Synthesis Under Assumptions. CoRR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	B	`conf`	Quantifying Bounds in Strategy Logic. CSL Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2018	A*	`conf`	Synthesis under Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2017	J	`jnl`	First-cycle games. Inf. Comput. Benjamin Aminof, Sasha Rubin
2017	A*	`conf`	Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
2017	—	`ed.`	Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. ICTCS/CILC Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro
2017	A*	`conf`	Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
2017	A*	`conf`	Strategy logic with imperfect information. LICS Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2017	A*	`conf`	Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017	A	`conf`	Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2016	A	`conf`	Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2016	J	`jnl`	Decidability in Parameterized Verification. SIGACT News Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2016	—	`conf`	Extended Graded Modalities in Strategy Logic. SR Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A*	`conf`	Imperfect-Information Games and Generalized Planning. IJCAI Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
2016	J	`jnl`	Liveness of Parameterized Timed Networks. CoRR Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2016	A	`conf`	Model Checking Parameterised Multi-token Systems via the Composition Method. IJCAR Benjamin Aminof, Sasha Rubin
2016	A*	`conf`	Prompt Alternating-Time Epistemic Logics. KR Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2015	—	`book`	Decidability of Parameterized Verification Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015	—	`conf`	Liveness of Parameterized Timed Networks. ICALP (2) Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
2015	B	`conf`	Multi-agent Path Planning in Known Dynamic Environments. PRIMA Aniello Murano, Giuseppe Perelli, Sasha Rubin
2015	B	`conf`	On CTL* with Graded Path Modalities. LPAR Benjamin Aminof, Aniello Murano, Sasha Rubin
2015	B	`conf`	On the Expressive Power of Communication Primitives in Parameterised Systems. LPAR Benjamin Aminof, Sasha Rubin, Florian Zuleger
2015	A	`conf`	Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments. AAMAS Sasha Rubin
2015	B	`conf`	Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
2014	J	`jnl`	Alternating traps in Muller and parity games. Theor. Comput. Sci. Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea
2014	—	`conf`	First Cycle Games. SR Benjamin Aminof, Sasha Rubin
2014	B	`conf`	Parameterized Model Checking of Rendezvous Systems. CONCUR Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2014	B	`conf`	Parameterized Model Checking of Token-Passing Systems. VMCAI Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2014	J	`jnl`	Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR Benjamin Aminof, Aniello Murano, Sasha Rubin
2013	J	`jnl`	Alternating Traps in Muller and Parity Games CoRR Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea
2013	C	`conf`	How to Travel between Languages. LATA Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin
2013	J	`jnl`	Parameterized Model Checking of Token-Passing Systems. CoRR Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2012	—	`conf`	A Myhill-Nerode theorem for automata with advice GandALF Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax
2012	A*	`conf`	Interpretations in Trees with Countably Many Branches. LICS Alexander Rabinovich, Sasha Rubin
2011	—	`ch.`	Automata-based presentations of infinite structures. Finite and Algorithmic Model Theory Vince Bárány, Erich Grädel, Sasha Rubin
2008	J	`jnl`	Automata Presenting Structures: A Survey of the Finite String Case. Bull. Symb. Log. Sasha Rubin
2008	J	`jnl`	Cardinality and counting quantifiers on omega-automatic structures CoRR Lukasz Kaiser, Sasha Rubin, Vince Bárány
2008	A	`conf`	Cardinality and counting quantifiers on omega-automatic structures. STACS Lukasz Kaiser, Sasha Rubin, Vince Bárány
2008	A	`conf`	Order-Invariant MSO is Stronger than Counting MSO in the Finite. STACS Tobias Ganzow, Sasha Rubin
2007	J	`jnl`	Automatic Structures: Richness and Limitations CoRR Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2007	J	`jnl`	Automatic Structures: Richness and Limitations. Log. Methods Comput. Sci. Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2007	J	`jnl`	Order-Invariant MSO is Stronger than Counting MSO in the Finite CoRR Tobias Ganzow, Sasha Rubin
2005	J	`jnl`	Automatic linear orders and trees. ACM Trans. Comput. Log. Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2005	B	`conf`	Decidability of Term Algebras Extending Partial Algebras. CSL Bakhadyr Khoussainov, Sasha Rubin
2004	A*	`conf`	Automatic Structures: Richness and Limitations. LICS Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
2004	A	`conf`	Definability and Regularity in Automatic Structures. STACS Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2004	A*	`conf`	Verifying omega-Regular Properties of Markov Chains. CAV Doron Bustan, Sasha Rubin, Moshe Y. Vardi
2003	J	`jnl`	Automatic Structures: Overview and Future Directions. J. Autom. Lang. Comb. Bakhadyr Khoussainov, Sasha Rubin
2003	A*	`conf`	On Automatic Partial Orders. LICS Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
2002	A*	`conf`	Some Results on Automatic Structures. LICS Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
2001	J	`jnl`	Graphs with Automatic Presentations over a Unary Alphabet. J. Autom. Lang. Comb. Bakhadyr Khoussainov, Sasha Rubin
1999	—	`conf`	Finite Automata and Well Ordered Sets. New Zealand Computer Science Research Students' Conference Sasha Rubin