Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sasha Rubin
@article{DBLP:journals/amai/MaubertMR23,
author = {Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Logical aspects of multi-agent systems},
journal = {Ann. Math. Artif. Intell.},
volume = {91},
number = {4},
pages = {373--374},
year = {2023},
url = {https://doi.org/10.1007/s10472-023-09852-3},
doi = {10.1007/S10472-023-09852-3},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MaubertMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AminofGR23,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Reactive Synthesis of Dominant Strategies},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6228--6235},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25767},
doi = {10.1609/AAAI.V37I5.25767},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AminofGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/AminofGSFRZ23,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Antonio Di Stasio and
Hugo Francon and
Sasha Rubin and
Shufang Zhu},
editor = {Vadim Malvone and
Aniello Murano},
title = {sc ltl\({}_{\mbox{f}}\) Synthesis Under Environment Specifications
for Reachability and Safety Properties},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {263--279},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_17},
doi = {10.1007/978-3-031-43264-4\_17},
timestamp = {Wed, 13 Sep 2023 08:53:59 +0200},
biburl = {https://dblp.org/rec/conf/eumas/AminofGSFRZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AminofGRZ23,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin and
Florian Zuleger},
title = {Stochastic Best-Effort Strategies for Borel Goals},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175747},
doi = {10.1109/LICS56636.2023.10175747},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AminofGRZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/PagliariniPRSS23,
author = {Giovanni Pagliarini and
Andrea Paradiso and
Sasha Rubin and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {49--53},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper8.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/PagliariniPRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15184,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Antonio Di Stasio and
Hugo Francon and
Sasha Rubin and
Shufang Zhu},
title = {LTLf Synthesis Under Environment Specifications for Reachability and
Safety Properties},
journal = {CoRR},
volume = {abs/2308.15184},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15184},
doi = {10.48550/ARXIV.2308.15184},
eprinttype = {arXiv},
eprint = {2308.15184},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02466,
author = {Benjamin Aminof and
Sasha Rubin and
Francesco Spegni and
Florian Zuleger},
title = {Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast
Systems},
journal = {CoRR},
volume = {abs/2310.02466},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02466},
doi = {10.48550/ARXIV.2310.02466},
eprinttype = {arXiv},
eprint = {2310.02466},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AminofMRZ22,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
title = {Verification of agent navigation in partially-known environments},
journal = {Artif. Intell.},
volume = {308},
pages = {103724},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103724},
doi = {10.1016/J.ARTINT.2022.103724},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AminofMRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GorjiR22,
author = {Niku Gorji and
Sasha Rubin},
title = {Sufficient Reasons for Classifier Decisions in the Presence of Domain
Constraints},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5660--5667},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20507},
doi = {10.1609/AAAI.V36I5.20507},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GorjiR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PinchinatRS22,
author = {Sophie Pinchinat and
Sasha Rubin and
Fran{\c{c}}ois Schwarzentruber},
title = {Formula Synthesis in Propositional Dynamic Logic with Shuffle},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9902--9909},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21227},
doi = {10.1609/AAAI.V36I9.21227},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PinchinatRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofGRZ22,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin and
Florian Zuleger},
editor = {Luc De Raedt},
title = {Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2525--2531},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/350},
doi = {10.24963/IJCAI.2022/350},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofGRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FijalkowMMRV22,
author = {Nathana{\"{e}}l Fijalkow and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Public and Private Affairs in Strategic Reasoning},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/14/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/FijalkowMMRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GutierrezMPRSW21,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Thomas Steeples and
Michael J. Wooldridge},
title = {Equilibria for games with combined qualitative and quantitative objectives},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {585--610},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00385-4},
doi = {10.1007/S00236-020-00385-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GutierrezMPRSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HoekMMR21,
author = {Wiebe van der Hoek and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Preface},
journal = {Inf. Comput.},
volume = {276},
pages = {104551},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104551},
doi = {10.1016/J.IC.2020.104551},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HoekMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BerthonMMRV21,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {5:1--5:51},
year = {2021},
url = {https://doi.org/10.1145/3427955},
doi = {10.1145/3427955},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BerthonMMRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BerthonFFGMMPPR21,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {7:1--7:24},
year = {2021},
url = {https://doi.org/10.1145/3431860},
doi = {10.1145/3431860},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BerthonFFGMMPPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofGR21,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin},
editor = {Zhi{-}Hua Zhou},
title = {Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1766--1772},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/243},
doi = {10.24963/IJCAI.2021/243},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliKLM21,
author = {Francesco Belardinelli and
Sophia Knight and
Alessio Lomuscio and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Zhi{-}Hua Zhou},
title = {Reasoning About Agents That May Know Other Agents' Strategies},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1787--1793},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/246},
doi = {10.24963/IJCAI.2021/246},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGLMR21,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Synthesizing Best-effort Strategies under Multiple Environment Specifications},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {42--51},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/5},
doi = {10.24963/KR.2021/5},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/AminofGLMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/Rubin21,
author = {Sasha Rubin},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Automatic structures},
booktitle = {Handbook of Automata Theory},
pages = {1031--1070},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-2/6},
doi = {10.4171/AUTOMATA-2/6},
timestamp = {Mon, 11 Apr 2022 14:12:30 +0200},
biburl = {https://dblp.org/rec/books/ems/21/Rubin21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06001,
author = {Niku Gorji and
Sasha Rubin},
title = {Sufficient reasons for classifier decisions in the presence of constraints},
journal = {CoRR},
volume = {abs/2105.06001},
year = {2021},
url = {https://arxiv.org/abs/2105.06001},
eprinttype = {arXiv},
eprint = {2105.06001},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliLMR20,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
title = {Verification of multi-agent systems with public actions against strategy
logic},
journal = {Artif. Intell.},
volume = {285},
pages = {103302},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103302},
doi = {10.1016/J.ARTINT.2020.103302},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MuranoPRS20,
author = {Aniello Murano and
Mimmo Parente and
Sasha Rubin and
Loredana Sorrentino},
title = {Model-checking graded computation-tree logic with finite path semantics},
journal = {Theor. Comput. Sci.},
volume = {806},
pages = {577--586},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.09.021},
doi = {10.1016/J.TCS.2019.09.021},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MuranoPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MuranoR20,
author = {Aniello Murano and
Sasha Rubin},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {815},
pages = {246},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.022},
doi = {10.1016/J.TCS.2019.12.022},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MuranoR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AminofGR20,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Stochastic Fairness and Language-Theoretic Fairness in Planning in
Nondeterministic Domains},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {20--28},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6641},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/AminofGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofGLMR20,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Christian Bessiere},
title = {Synthesizing strategies under expected and exceptional environment
behaviors},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1674--1680},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/232},
doi = {10.24963/IJCAI.2020/232},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofGLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoSFR20,
author = {Giuseppe De Giacomo and
Antonio Di Stasio and
Francesco Fuggitti and
Sasha Rubin},
editor = {Christian Bessiere},
title = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4959--4965},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/690},
doi = {10.24963/IJCAI.2020/690},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoSFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonetGGPR20,
author = {Blai Bonet and
Giuseppe De Giacomo and
Hector Geffner and
Fabio Patrizi and
Sasha Rubin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {High-level Programming via Generalized Planning and {LTL} Synthesis},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {152--161},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/16},
doi = {10.24963/KR.2020/16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BonetGGPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-11638,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Optimal Strategies in Weighted Limit Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {114--130},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.8},
doi = {10.4204/EPTCS.326.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03664,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {CoRR},
volume = {abs/2002.03664},
year = {2020},
url = {https://arxiv.org/abs/2002.03664},
eprinttype = {arXiv},
eprint = {2002.03664},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04730,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {CoRR},
volume = {abs/2003.04730},
year = {2020},
url = {https://arxiv.org/abs/2003.04730},
eprinttype = {arXiv},
eprint = {2003.04730},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05643,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Thomas Steeples and
Michael J. Wooldridge},
title = {Equilibria for Games with Combined Qualitative and Quantitative Objectives},
journal = {CoRR},
volume = {abs/2008.05643},
year = {2020},
url = {https://arxiv.org/abs/2008.05643},
eprinttype = {arXiv},
eprint = {2008.05643},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11562,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
title = {Optimal Strategies in Weighted Limit Games (full version)},
journal = {CoRR},
volume = {abs/2008.11562},
year = {2020},
url = {https://arxiv.org/abs/2008.11562},
eprinttype = {arXiv},
eprint = {2008.11562},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AminofGMR19,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Planning under {LTL} Environment Specifications},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {31--39},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3457},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/AminofGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BarriereMMR19,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Reasoning about Changes of Observational Power in Logics of Knowledge
and Time},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {971--979},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331792},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BarriereMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MaubertMPRS19,
author = {Bastien Maubert and
Aniello Murano and
Pasquale Perillo and
Sasha Rubin and
Alessio Spasiano},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Towards a Tool for {LTL} Synthesis with Bounded-Energy Constraints},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {229--234},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MaubertMPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofKMMR19,
author = {Benjamin Aminof and
Marta Kwiatkowska and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Sarit Kraus},
title = {Probabilistic Strategy Logic},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {32--38},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/5},
doi = {10.24963/IJCAI.2019/5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofKMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BelardinelliLMR19,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Imperfect Information in Alternating-Time Temporal Logic on Finite
Traces},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {469--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_31},
doi = {10.1007/978-3-030-33792-6\_31},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BelardinelliLMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04349,
author = {Rapha{\"{e}}l Berthon and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Jean{-}Fran{\c{c}}ois Raskin and
Sasha Rubin},
title = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},
journal = {CoRR},
volume = {abs/1901.04349},
year = {2019},
url = {http://arxiv.org/abs/1901.04349},
eprinttype = {arXiv},
eprint = {1901.04349},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12135,
author = {Blai Bonet and
Giuseppe De Giacomo and
Hector Geffner and
Sasha Rubin},
title = {Generalized Planning: Non-Deterministic Abstractions and Trajectory
Constraints},
journal = {CoRR},
volume = {abs/1909.12135},
year = {2019},
url = {http://arxiv.org/abs/1909.12135},
eprinttype = {arXiv},
eprint = {1909.12135},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-11203,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin},
title = {Stochastic Fairness and Language-Theoretic Fairness in Planning on
Nondeterministic Domains},
journal = {CoRR},
volume = {abs/1912.11203},
year = {2019},
url = {http://arxiv.org/abs/1912.11203},
eprinttype = {arXiv},
eprint = {1912.11203},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-11203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AminofKRSV18,
author = {Benjamin Aminof and
Tomer Kotek and
Sasha Rubin and
Francesco Spegni and
Helmut Veith},
title = {Parameterized model checking of rendezvous systems},
journal = {Distributed Comput.},
volume = {31},
number = {3},
pages = {187--222},
year = {2018},
url = {https://doi.org/10.1007/s00446-017-0302-6},
doi = {10.1007/S00446-017-0302-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AminofKRSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofMMR18,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
title = {Graded modalities in Strategy Logic},
journal = {Inf. Comput.},
volume = {261},
pages = {634--649},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.022},
doi = {10.1016/J.IC.2018.02.022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AminofMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofMR18,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
title = {CTL* with graded path modalities},
journal = {Inf. Comput.},
volume = {262},
pages = {1--21},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.05.001},
doi = {10.1016/J.IC.2018.05.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AminofMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Decidable Verification of Multi-agent Systems with Bounded Private
Actions},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1865--1867},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238005},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FijalkowMMR18,
author = {Nathana{\"{e}}l Fijalkow and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Dan R. Ghica and
Achim Jung},
title = {Quantifying Bounds in Strategy Logic},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {23:1--23:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.23},
doi = {10.4230/LIPICS.CSL.2018.23},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FijalkowMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/SorrentinoRM18,
author = {Loredana Sorrentino and
Sasha Rubin and
Aniello Murano},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Graded CTL* over Finite Paths},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {152--161},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/SorrentinoRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Alternating-time Temporal Logic on Finite Traces},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {77--83},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/11},
doi = {10.24963/IJCAI.2018/11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoR18,
author = {Giuseppe De Giacomo and
Sasha Rubin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Automata-Theoretic Foundations of {FOND} Planning for LTLf and LDLf
Goals},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4729--4735},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/657},
doi = {10.24963/IJCAI.2018/657},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGMR18,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Synthesis under Assumptions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {615--616},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AminofGMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarriereMMR18,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Changing Observations in Epistemic Temporal Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {621--622},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BarriereMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AminofRSWZ18,
author = {Benjamin Aminof and
Sasha Rubin and
Ilina Stoilkovska and
Josef Widder and
Florian Zuleger},
editor = {Isil Dillig and
Jens Palsberg},
title = {Parameterized Model Checking of Synchronous Distributed Algorithms
by Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {1--24},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_1},
doi = {10.1007/978-3-319-73721-8\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AminofRSWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06881,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Changing Observations in Epistemic Temporal Logic},
journal = {CoRR},
volume = {abs/1805.06881},
year = {2018},
url = {http://arxiv.org/abs/1805.06881},
eprinttype = {arXiv},
eprint = {1805.06881},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-12592,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {CoRR},
volume = {abs/1805.12592},
year = {2018},
url = {http://arxiv.org/abs/1805.12592},
eprinttype = {arXiv},
eprint = {1805.12592},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06777,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
title = {Planning and Synthesis Under Assumptions},
journal = {CoRR},
volume = {abs/1807.06777},
year = {2018},
url = {http://arxiv.org/abs/1807.06777},
eprinttype = {arXiv},
eprint = {1807.06777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofR17,
author = {Benjamin Aminof and
Sasha Rubin},
title = {First-cycle games},
journal = {Inf. Comput.},
volume = {254},
pages = {195--216},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.10.008},
doi = {10.1016/J.IC.2016.10.008},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AminofR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Verification of Multi-agent Systems with Imperfect Information and
Public Actions},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1268--1276},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091301},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Carles Sierra},
title = {Verification of Broadcasting Multi-Agent Systems against an Epistemic
Strategy Logic},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {91--97},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/14},
doi = {10.24963/IJCAI.2017/14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetGGR17,
author = {Blai Bonet and
Giuseppe De Giacomo and
Hector Geffner and
Sasha Rubin},
editor = {Carles Sierra},
title = {Generalized Planning: Non-Deterministic Abstractions and Trajectory
Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {873--879},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/121},
doi = {10.24963/IJCAI.2017/121},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonetGGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0001MPRW17,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Michael J. Wooldridge},
editor = {Carles Sierra},
title = {Nash Equilibria in Concurrent Games with Lexicographic Preferences},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1067--1073},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/148},
doi = {10.24963/IJCAI.2017/148},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0001MPRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BerthonMMRV17,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy logic with imperfect information},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005136},
doi = {10.1109/LICS.2017.8005136},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BerthonMMRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2017,
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949},
urn = {urn:nbn:de:0074-1949-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BloemJKKRVW16,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov and
Igor Konnov and
Sasha Rubin and
Helmut Veith and
Josef Widder},
title = {Decidability in Parameterized Verification},
journal = {{SIGACT} News},
volume = {47},
number = {2},
pages = {53--64},
year = {2016},
url = {https://doi.org/10.1145/2951860.2951873},
doi = {10.1145/2951860.2951873},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/BloemJKKRVW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {698--706},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937027},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AminofMRZ16,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1190--1199},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AminofMRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AminofR16,
author = {Benjamin Aminof and
Sasha Rubin},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Model Checking Parameterised Multi-token Systems via the Composition
Method},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {499--515},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_34},
doi = {10.1007/978-3-319-40229-1\_34},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/AminofR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoMRS16,
author = {Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin and
Antonio Di Stasio},
editor = {Subbarao Kambhampati},
title = {Imperfect-Information Games and Generalized Planning},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1037--1043},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/151},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofMRZ16,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Prompt Alternating-Time Epistemic Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {258--267},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12890},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AminofMRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Extended Graded Modalities in Strategy Logic},
booktitle = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218.1},
doi = {10.4204/EPTCS.218.1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AminofRSZ16,
author = {Benjamin Aminof and
Sasha Rubin and
Francesco Spegni and
Florian Zuleger},
title = {Liveness of Parameterized Timed Networks},
journal = {CoRR},
volume = {abs/1609.04176},
year = {2016},
url = {http://arxiv.org/abs/1609.04176},
eprinttype = {arXiv},
eprint = {1609.04176},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofRSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2015Bloem,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov and
Igor Konnov and
Sasha Rubin and
Helmut Veith and
Josef Widder},
title = {Decidability of Parameterized Verification},
series = {Synthesis Lectures on Distributed Computing Theory},
publisher = {Morgan {\&} Claypool Publishers},
year = {2015},
url = {https://doi.org/10.2200/S00658ED1V01Y201508DCT013},
doi = {10.2200/S00658ED1V01Y201508DCT013},
isbn = {978-3-031-00883-2},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2015Bloem.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Rubin15,
author = {Sasha Rubin},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Parameterised Verification of Autonomous Mobile-Agents in Static but
Unknown Environments},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {199--208},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772908},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/Rubin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AminofRZS15,
author = {Benjamin Aminof and
Sasha Rubin and
Florian Zuleger and
Francesco Spegni},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Liveness of Parameterized Timed Networks},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {375--387},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_30},
doi = {10.1007/978-3-662-47666-6\_30},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AminofRZS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AminofMR15,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {On CTL* with Graded Path Modalities},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {281--296},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_20},
doi = {10.1007/978-3-662-48899-7\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AminofMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AminofRZ15,
author = {Benjamin Aminof and
Sasha Rubin and
Florian Zuleger},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {On the Expressive Power of Communication Primitives in Parameterised
Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {313--328},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_22},
doi = {10.1007/978-3-662-48899-7\_22},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AminofRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/RubinZMA15,
author = {Sasha Rubin and
Florian Zuleger and
Aniello Murano and
Benjamin Aminof},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Verification of Asynchronous Mobile-Robots in Partially-Known Environments},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {185--200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_12},
doi = {10.1007/978-3-319-25524-8\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/RubinZMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/MuranoPR15,
author = {Aniello Murano and
Giuseppe Perelli and
Sasha Rubin},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Multi-agent Path Planning in Known Dynamic Environments},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {218--231},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_14},
doi = {10.1007/978-3-319-25524-8\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/MuranoPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrinshpunPRT14,
author = {Andrey Grinshpun and
Pakawat Phalitnonkiat and
Sasha Rubin and
Andrei Tarfulea},
title = {Alternating traps in Muller and parity games},
journal = {Theor. Comput. Sci.},
volume = {521},
pages = {73--91},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.11.032},
doi = {10.1016/J.TCS.2013.11.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrinshpunPRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AminofKRSV14,
author = {Benjamin Aminof and
Tomer Kotek and
Sasha Rubin and
Francesco Spegni and
Helmut Veith},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Parameterized Model Checking of Rendezvous Systems},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {109--124},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_9},
doi = {10.1007/978-3-662-44584-6\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AminofKRSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AminofJKR14,
author = {Benjamin Aminof and
Swen Jacobs and
Ayrat Khalimov and
Sasha Rubin},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Parameterized Model Checking of Token-Passing Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {262--281},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_15},
doi = {10.1007/978-3-642-54013-4\_15},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AminofJKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AminofR14,
author = {Benjamin Aminof and
Sasha Rubin},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {First Cycle Games},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {83--90},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.11},
doi = {10.4204/EPTCS.146.11},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AminofMR14,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
title = {Satisfiability and Model Checking of CTL* with Graded Path Modalities},
journal = {CoRR},
volume = {abs/1410.7551},
year = {2014},
url = {http://arxiv.org/abs/1410.7551},
eprinttype = {arXiv},
eprint = {1410.7551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ChatterjeeCR13,
author = {Krishnendu Chatterjee and
Siddhesh Chaubal and
Sasha Rubin},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {How to Travel between Languages},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {214--225},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_20},
doi = {10.1007/978-3-642-37064-9\_20},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/ChatterjeeCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-3777,
author = {Andrey Grinshpun and
Pakawat Phalitnonkiat and
Sasha Rubin and
Andrei Tarfulea},
title = {Alternating Traps in Muller and Parity Games},
journal = {CoRR},
volume = {abs/1303.3777},
year = {2013},
url = {http://arxiv.org/abs/1303.3777},
eprinttype = {arXiv},
eprint = {1303.3777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-3777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AminofJKR13,
author = {Benjamin Aminof and
Swen Jacobs and
Ayrat Khalimov and
Sasha Rubin},
title = {Parameterized Model Checking of Token-Passing Systems},
journal = {CoRR},
volume = {abs/1311.4425},
year = {2013},
url = {http://arxiv.org/abs/1311.4425},
eprinttype = {arXiv},
eprint = {1311.4425},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofJKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RabinovichR12,
author = {Alexander Rabinovich and
Sasha Rubin},
title = {Interpretations in Trees with Countably Many Branches},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {551--560},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.65},
doi = {10.1109/LICS.2012.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RabinovichR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2462,
author = {Alex Kruckman and
Sasha Rubin and
John Sheridan and
Ben Zax},
editor = {Marco Faella and
Aniello Murano},
title = {A Myhill-Nerode theorem for automata with advice},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {238--246},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.18},
doi = {10.4204/EPTCS.96.18},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/11/BaranyGR11,
author = {Vince B{\'{a}}r{\'{a}}ny and
Erich Gr{\"{a}}del and
Sasha Rubin},
editor = {Javier Esparza and
Christian Michaux and
Charles Steinhorn},
title = {Automata-based presentations of infinite structures},
booktitle = {Finite and Algorithmic Model Theory},
series = {London Mathematical Society Lecture Note Series},
volume = {379},
pages = {1--76},
publisher = {Cambridge University Press},
year = {2011},
timestamp = {Fri, 15 May 2020 15:30:10 +0200},
biburl = {https://dblp.org/rec/books/cu/11/BaranyGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Rubin08,
author = {Sasha Rubin},
title = {Automata Presenting Structures: {A} Survey of the Finite String Case},
journal = {Bull. Symb. Log.},
volume = {14},
number = {2},
pages = {169--209},
year = {2008},
url = {https://doi.org/10.2178/bsl/1208442827},
doi = {10.2178/BSL/1208442827},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Rubin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GanzowR08,
author = {Tobias Ganzow and
Sasha Rubin},
editor = {Susanne Albers and
Pascal Weil},
title = {Order-Invariant {MSO} is Stronger than Counting {MSO} in the Finite},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {313--324},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1353},
doi = {10.4230/LIPICS.STACS.2008.1353},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GanzowR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KaiserRB08,
author = {Lukasz Kaiser and
Sasha Rubin and
Vince B{\'{a}}r{\'{a}}ny},
editor = {Susanne Albers and
Pascal Weil},
title = {Cardinality and counting quantifiers on omega-automatic structures},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {385--396},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1360},
doi = {10.4230/LIPICS.STACS.2008.1360},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KaiserRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2866,
author = {Lukasz Kaiser and
Sasha Rubin and
Vince B{\'{a}}r{\'{a}}ny},
title = {Cardinality and counting quantifiers on omega-automatic structures},
journal = {CoRR},
volume = {abs/0802.2866},
year = {2008},
url = {http://arxiv.org/abs/0802.2866},
eprinttype = {arXiv},
eprint = {0802.2866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-2866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KhoussainovNRS07,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {2},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(2:2)2007},
doi = {10.2168/LMCS-3(2:2)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KhoussainovNRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0706-3723,
author = {Tobias Ganzow and
Sasha Rubin},
title = {Order-Invariant {MSO} is Stronger than Counting {MSO} in the Finite},
journal = {CoRR},
volume = {abs/0706.3723},
year = {2007},
url = {http://arxiv.org/abs/0706.3723},
eprinttype = {arXiv},
eprint = {0706.3723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0706-3723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703064,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
journal = {CoRR},
volume = {abs/cs/0703064},
year = {2007},
url = {http://arxiv.org/abs/cs/0703064},
eprinttype = {arXiv},
eprint = {cs/0703064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0703064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KhoussainovRS05,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {Automatic linear orders and trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {4},
pages = {675--700},
year = {2005},
url = {https://doi.org/10.1145/1094622.1094625},
doi = {10.1145/1094622.1094625},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KhoussainovRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KhoussainovR05,
author = {Bakhadyr Khoussainov and
Sasha Rubin},
editor = {C.{-}H. Luke Ong},
title = {Decidability of Term Algebras Extending Partial Algebras},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {292--308},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_21},
doi = {10.1007/11538363\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/KhoussainovR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BustanRV04,
author = {Doron Bustan and
Sasha Rubin and
Moshe Y. Vardi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Verifying omega-Regular Properties of Markov Chains},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {189--201},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_15},
doi = {10.1007/978-3-540-27813-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BustanRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KhoussainovNRS04,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319599},
doi = {10.1109/LICS.2004.1319599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KhoussainovNRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KhoussainovRS04,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
editor = {Volker Diekert and
Michel Habib},
title = {Definability and Regularity in Automatic Structures},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {440--451},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_39},
doi = {10.1007/978-3-540-24749-4\_39},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KhoussainovRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KhoussainovR03,
author = {Bakhadyr Khoussainov and
Sasha Rubin},
title = {Automatic Structures: Overview and Future Directions},
journal = {J. Autom. Lang. Comb.},
volume = {8},
number = {2},
pages = {287--301},
year = {2003},
url = {https://doi.org/10.25596/jalc-2003-287},
doi = {10.25596/JALC-2003-287},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KhoussainovR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KhoussainovRS03,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {On Automatic Partial Orders},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {168--177},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210056},
doi = {10.1109/LICS.2003.1210056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KhoussainovRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/IshiharaKR02,
author = {Hajime Ishihara and
Bakhadyr Khoussainov and
Sasha Rubin},
title = {Some Results on Automatic Structures},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {235},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029832},
doi = {10.1109/LICS.2002.1029832},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/IshiharaKR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KhoussainovR01,
author = {Bakhadyr Khoussainov and
Sasha Rubin},
title = {Graphs with Automatic Presentations over a Unary Alphabet},
journal = {J. Autom. Lang. Comb.},
volume = {6},
number = {4},
pages = {467--480},
year = {2001},
url = {https://doi.org/10.25596/jalc-2001-467},
doi = {10.25596/JALC-2001-467},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KhoussainovR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nzgrad/Rubin99,
author = {Sasha Rubin},
editor = {Stuart A. Yeates},
title = {Finite Automata and Well Ordered Sets},
booktitle = {Third New Zealand Computer Science Research Students' Conference,
Te Kohinga Marama Marae, Hamilton, New Zealand, April 6-9, 1999},
pages = {86--93},
publisher = {University of Waikato},
year = {1999},
timestamp = {Mon, 23 Nov 2020 17:36:12 +0100},
biburl = {https://dblp.org/rec/conf/nzgrad/Rubin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
