Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mahsa Shirmohammadi
@article{DBLP:journals/pacmpl/BunaMargineanCSW24,
author = {Alex Buna{-}Marginean and
Vincent Cheval and
Mahsa Shirmohammadi and
James Worrell},
title = {On Learning Polynomial Recursive Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1001--1027},
year = {2024},
url = {https://doi.org/10.1145/3632876},
doi = {10.1145/3632876},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BunaMargineanCSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-13390,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {Memoryless Strategies in Stochastic Reachability Games},
journal = {CoRR},
volume = {abs/2401.13390},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.13390},
doi = {10.48550/ARXIV.2401.13390},
eprinttype = {arXiv},
eprint = {2401.13390},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KenisonNS023,
author = {George Kenison and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
editor = {Alicia Dickenstein and
Elias P. Tsigaridas and
Gabriela Jeronimo},
title = {The Membership Problem for Hypergeometric Sequences with Quadratic
Parameters},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2023, Troms{\o}, Norway, July 24-27, 2023},
pages = {407--416},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597066.3597121},
doi = {10.1145/3597066.3597121},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KenisonNS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BalajiCNS023,
author = {Nikhil Balaji and
Lorenzo Clemente and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
title = {Multiplicity Problems on Algebraic Series and Context-Free Grammars},
booktitle = {{LICS}},
pages = {1--12},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175707},
doi = {10.1109/LICS56636.2023.10175707},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BalajiCNS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09204,
author = {George Kenison and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
title = {The Membership Problem for Hypergeometric Sequences with Quadratic
Parameters},
journal = {CoRR},
volume = {abs/2303.09204},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09204},
doi = {10.48550/ARXIV.2303.09204},
eprinttype = {arXiv},
eprint = {2303.09204},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14145,
author = {Nikhil Balaji and
Lorenzo Clemente and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
title = {Multiplicity Problems on Algebraic Series and Context-Free Grammars},
journal = {CoRR},
volume = {abs/2304.14145},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14145},
doi = {10.48550/ARXIV.2304.14145},
eprinttype = {arXiv},
eprint = {2304.14145},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14725,
author = {Alex Buna{-}Marginean and
Vincent Cheval and
Mahsa Shirmohammadi and
James Worrell},
title = {On Learning Polynomial Recursive Programs},
journal = {CoRR},
volume = {abs/2310.14725},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14725},
doi = {10.48550/ARXIV.2310.14725},
eprinttype = {arXiv},
eprint = {2310.14725},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FranzleSSW22,
author = {Martin Fr{\"{a}}nzle and
Mahsa Shirmohammadi and
Mani Swaminathan and
James Worrell},
title = {Costs and rewards in priced timed automata},
journal = {Inf. Comput.},
volume = {282},
pages = {104656},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104656},
doi = {10.1016/J.IC.2020.104656},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FranzleSSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Shirmohammadi22,
author = {Mahsa Shirmohammadi},
title = {A Beginner's Tutorial on Strategy Complexity in Stochastic Games:
Can the King Cautiously Eliminate Robin Hood?},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {27--43},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583666},
doi = {10.1145/3583660.3583666},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Shirmohammadi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NosanPSS022,
author = {Klara Nosan and
Amaury Pouly and
Sylvain Schmitz and
Mahsa Shirmohammadi and
James Worrell},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {On the Computation of the Zariski Closure of Finitely Generated Groups
of Matrices},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {129--138},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3536172},
doi = {10.1145/3476446.3536172},
timestamp = {Wed, 06 Jul 2022 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/issac/NosanPSS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NosanPS022,
author = {Klara Nosan and
Amaury Pouly and
Mahsa Shirmohammadi and
James Worrell},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {The Membership Problem for Hypergeometric Sequences with Rational
Parameters},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {381--389},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3535504},
doi = {10.1145/3476446.3535504},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/NosanPS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BalajiNS022,
author = {Nikhil Balaji and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
editor = {Christel Baier and
Dana Fisman},
title = {Identity Testing for Radical Expressions},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {8:1--8:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533331},
doi = {10.1145/3531130.3533331},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/BalajiNS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07416,
author = {Klara Nosan and
Amaury Pouly and
Mahsa Shirmohammadi and
James Worrell},
title = {The Membership Problem for Hypergeometric Sequences with Rational
Parameters},
journal = {CoRR},
volume = {abs/2202.07416},
year = {2022},
url = {https://arxiv.org/abs/2202.07416},
eprinttype = {arXiv},
eprint = {2202.07416},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07961,
author = {Nikhil Balaji and
Klara Nosan and
Mahsa Shirmohammadi and
James Worrell},
title = {Identity testing for radical expressions},
journal = {CoRR},
volume = {abs/2202.07961},
year = {2022},
url = {https://arxiv.org/abs/2202.07961},
eprinttype = {arXiv},
eprint = {2202.07961},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-12024,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {Strategy Complexity of Reachability in Countable Stochastic 2-Player
Games},
journal = {CoRR},
volume = {abs/2203.12024},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.12024},
doi = {10.48550/ARXIV.2203.12024},
eprinttype = {arXiv},
eprint = {2203.12024},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KieferMST21,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
editor = {Serge Haddad and
Daniele Varacca},
title = {Transience in Countable MDPs},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {11:1--11:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.11},
doi = {10.4230/LIPICS.CONCUR.2021.11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KieferMST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BalajiPS021,
author = {Nikhil Balaji and
Sylvain Perifel and
Mahsa Shirmohammadi and
James Worrell},
editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
title = {Cyclotomic Identity Testing and Applications},
booktitle = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
Virtual Event, Russia, July 18-23, 2021},
pages = {35--42},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452143.3465530},
doi = {10.1145/3452143.3465530},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BalajiPS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2021,
editor = {Catalin Dima and
Mahsa Shirmohammadi},
title = {Formal Modeling and Analysis of Timed Systems - 19th International
Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12860},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85037-1},
doi = {10.1007/978-3-030-85037-1},
isbn = {978-3-030-85036-4},
timestamp = {Tue, 17 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01853,
author = {Klara Nosan and
Amaury Pouly and
Mahsa Shirmohammadi and
James Worrell},
title = {On the Computation of the Algebraic Closure of Finitely Generated
Groups of Matrices},
journal = {CoRR},
volume = {abs/2106.01853},
year = {2021},
url = {https://arxiv.org/abs/2106.01853},
eprinttype = {arXiv},
eprint = {2106.01853},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FranzleQSW20,
author = {Martin Fr{\"{a}}nzle and
Karin Quaas and
Mahsa Shirmohammadi and
James Worrell},
title = {Effective definability of the reachability relation in timed automata},
journal = {Inf. Process. Lett.},
volume = {153},
year = {2020},
url = {https://doi.org/10.1016/j.ipl.2019.105871},
doi = {10.1016/J.IPL.2019.105871},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FranzleQSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FijalkowKS20,
author = {Nathana{\"{e}}l Fijalkow and
Stefan Kiefer and
Mahsa Shirmohammadi},
title = {Trace Refinement in Labelled Markov Decision Processes},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:10)2020},
doi = {10.23638/LMCS-16(2:10)2020},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FijalkowKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorCPS020,
author = {Shaull Almagor and
Nathann Cohen and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi and
James Worrell},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Coverability in 1-VASS with Disequality Tests},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {38:1--38:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.38},
doi = {10.4230/LIPICS.CONCUR.2020.38},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlmagorCPS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KieferMST20,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Strategy Complexity of Parity Objectives in Countable MDPs},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {39:1--39:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.39},
doi = {10.4230/LIPICS.CONCUR.2020.39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KieferMST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KieferMSTW20,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke and
Dominik Wojtczak},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {How to Play in Infinite MDPs (Invited Talk)},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {3:1--3:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.3},
doi = {10.4230/LIPICS.ICALP.2020.3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KieferMSTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-05065,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {Strategy Complexity of Parity Objectives in Countable MDPs},
journal = {CoRR},
volume = {abs/2007.05065},
year = {2020},
url = {https://arxiv.org/abs/2007.05065},
eprinttype = {arXiv},
eprint = {2007.05065},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-05065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-13179,
author = {Nikhil Balaji and
Sylvain Perifel and
Mahsa Shirmohammadi and
James Worrell},
title = {Cyclotomic Identity Testing and Applications},
journal = {CoRR},
volume = {abs/2007.13179},
year = {2020},
url = {https://arxiv.org/abs/2007.13179},
eprinttype = {arXiv},
eprint = {2007.13179},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-13179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13739,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {Transience in Countable MDPs},
journal = {CoRR},
volume = {abs/2012.13739},
year = {2020},
url = {https://arxiv.org/abs/2012.13739},
eprinttype = {arXiv},
eprint = {2012.13739},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ChistikovMS19,
author = {Dmitry Chistikov and
Pavel Martyugin and
Mahsa Shirmohammadi},
title = {Synchronizing Automata over Nested Words},
journal = {J. Autom. Lang. Comb.},
volume = {24},
number = {2-4},
pages = {219--251},
year = {2019},
url = {https://doi.org/10.25596/jalc-2019-219},
doi = {10.25596/JALC-2019-219},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jalc/ChistikovMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DoyenMS19,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
title = {The complexity of synchronizing Markov decision processes},
journal = {J. Comput. Syst. Sci.},
volume = {100},
pages = {96--129},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2018.09.004},
doi = {10.1016/J.JCSS.2018.09.004},
timestamp = {Wed, 26 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DoyenMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/QuaasS19,
author = {Karin Quaas and
Mahsa Shirmohammadi},
title = {Synchronizing Data Words for Register Automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {2},
pages = {11:1--11:27},
year = {2019},
url = {https://doi.org/10.1145/3309760},
doi = {10.1145/3309760},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/QuaasS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BalajiK0PS19,
author = {Nikhil Balaji and
Stefan Kiefer and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {On the Complexity of Value Iteration},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {102:1--102:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.102},
doi = {10.4230/LIPICS.ICALP.2019.102},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BalajiK0PS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KieferMST19,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {B{\"{u}}chi Objectives in Countable MDPs},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {119:1--119:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.119},
doi = {10.4230/LIPICS.ICALP.2019.119},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KieferMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06576,
author = {Shaull Almagor and
Nathann Cohen and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi and
James Worrell},
title = {Coverability in 1-VASS with Disequality Tests},
journal = {CoRR},
volume = {abs/1902.06576},
year = {2019},
url = {http://arxiv.org/abs/1902.06576},
eprinttype = {arXiv},
eprint = {1902.06576},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-09773,
author = {Martin Fr{\"{a}}nzle and
Karin Quaas and
Mahsa Shirmohammadi and
James Worrell},
title = {Effective Definability of the Reachability Relation in Timed Automata},
journal = {CoRR},
volume = {abs/1903.09773},
year = {2019},
url = {http://arxiv.org/abs/1903.09773},
eprinttype = {arXiv},
eprint = {1903.09773},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-09773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11573,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {B{\"{u}}chi Objectives in Countable MDPs},
journal = {CoRR},
volume = {abs/1904.11573},
year = {2019},
url = {http://arxiv.org/abs/1904.11573},
eprinttype = {arXiv},
eprint = {1904.11573},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-06420,
author = {Corto Mascle and
Mahsa Shirmohammadi and
Patrick Totzke},
title = {Controlling a Random Population is EXPTIME-hard},
journal = {CoRR},
volume = {abs/1909.06420},
year = {2019},
url = {http://arxiv.org/abs/1909.06420},
eprinttype = {arXiv},
eprint = {1909.06420},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-06420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FranzleSS018,
author = {Martin Fr{\"{a}}nzle and
Mahsa Shirmohammadi and
Mani Swaminathan and
James Worrell},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {Costs and Rewards in Priced Timed Automata},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {125:1--125:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.125},
doi = {10.4230/LIPICS.ICALP.2018.125},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FranzleSS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01914,
author = {Martin Fr{\"{a}}nzle and
Mahsa Shirmohammadi and
Mani Swaminathan and
James Worrell},
title = {Costs and Rewards in Priced Timed Automata},
journal = {CoRR},
volume = {abs/1803.01914},
year = {2018},
url = {http://arxiv.org/abs/1803.01914},
eprinttype = {arXiv},
eprint = {1803.01914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-04920,
author = {Nikhil Balaji and
Stefan Kiefer and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi},
title = {On the Complexity of Iterative Tropical Computation with Applications
to Markov Decision Processes},
journal = {CoRR},
volume = {abs/1807.04920},
year = {2018},
url = {http://arxiv.org/abs/1807.04920},
eprinttype = {arXiv},
eprint = {1807.04920},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-04920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siaga/ChistikovKMS017,
author = {Dmitry Chistikov and
Stefan Kiefer and
Ines Marusic and
Mahsa Shirmohammadi and
James Worrell},
title = {Nonnegative Matrix Factorization Requires Irrationality},
journal = {{SIAM} J. Appl. Algebra Geom.},
volume = {1},
number = {1},
pages = {285--307},
year = {2017},
url = {https://doi.org/10.1137/16M1078835},
doi = {10.1137/16M1078835},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siaga/ChistikovKMS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieferMSW17,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Dominik Wojtczak},
title = {Parity objectives in countable MDPs},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005100},
doi = {10.1109/LICS.2017.8005100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieferMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieferMSW17a,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Dominik Wojtczak},
title = {On strong determinacy of countable stochastic games},
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.8005134},
doi = {10.1109/LICS.2017.8005134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieferMSW17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/QuaasSW17,
author = {Karin Quaas and
Mahsa Shirmohammadi and
James Worrell},
title = {Revisiting reachability in timed automata},
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.8005098},
doi = {10.1109/LICS.2017.8005098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/QuaasSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/ChistikovKMSW17,
author = {Dmitry Chistikov and
Stefan Kiefer and
Ines Marusic and
Mahsa Shirmohammadi and
James Worrell},
editor = {Philip N. Klein},
title = {On Rationality of Nonnegative Matrix Factorization},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2017, Barcelona, Spain, Hotel Porta Fira, January
16-19},
pages = {1290--1305},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974782.84},
doi = {10.1137/1.9781611974782.84},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soda/ChistikovKMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/QuaasSW17,
author = {Karin Quaas and
Mahsa Shirmohammadi and
James Worrell},
title = {Revisiting Reachability in Timed Automata},
journal = {CoRR},
volume = {abs/1702.03450},
year = {2017},
url = {http://arxiv.org/abs/1702.03450},
eprinttype = {arXiv},
eprint = {1702.03450},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/QuaasSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieferMSW17,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Dominik Wojtczak},
title = {Parity Objectives in Countable MDPs},
journal = {CoRR},
volume = {abs/1704.04490},
year = {2017},
url = {http://arxiv.org/abs/1704.04490},
eprinttype = {arXiv},
eprint = {1704.04490},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieferMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieferMSW17a,
author = {Stefan Kiefer and
Richard Mayr and
Mahsa Shirmohammadi and
Dominik Wojtczak},
title = {On Strong Determinacy of Countable Stochastic Games},
journal = {CoRR},
volume = {abs/1704.05003},
year = {2017},
url = {http://arxiv.org/abs/1704.05003},
eprinttype = {arXiv},
eprint = {1704.05003},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieferMSW17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02329,
author = {Karin Quaas and
Mahsa Shirmohammadi},
title = {Synchronizing Data Words for Register Automata},
journal = {CoRR},
volume = {abs/1710.02329},
year = {2017},
url = {http://arxiv.org/abs/1710.02329},
eprinttype = {arXiv},
eprint = {1710.02329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChistikovMS16,
author = {Dmitry Chistikov and
Pavel Martyugin and
Mahsa Shirmohammadi},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Synchronizing Automata over Nested Words},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {252--268},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_15},
doi = {10.1007/978-3-662-49630-5\_15},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/ChistikovMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FijalkowKS16,
author = {Nathana{\"{e}}l Fijalkow and
Stefan Kiefer and
Mahsa Shirmohammadi},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Trace Refinement in Labelled Markov Decision Processes},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {303--318},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_18},
doi = {10.1007/978-3-662-49630-5\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/FijalkowKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChistikovKMSW16,
author = {Dmitry Chistikov and
Stefan Kiefer and
Ines Marusic and
Mahsa Shirmohammadi and
James Worrell},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {On Restricted Nonnegative Matrix Factorization},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {103:1--103:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.103},
doi = {10.4230/LIPICS.ICALP.2016.103},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ChistikovKMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BabariQS16,
author = {Parvaneh Babari and
Karin Quaas and
Mahsa Shirmohammadi},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Synchronizing Data Words for Register Automata},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {15:1--15:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.15},
doi = {10.4230/LIPICS.MFCS.2016.15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BabariQS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001MS16a,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
title = {The Complexity of Synchronizing Markov Decision Processes},
journal = {CoRR},
volume = {abs/1604.01942},
year = {2016},
url = {http://arxiv.org/abs/1604.01942},
eprinttype = {arXiv},
eprint = {1604.01942},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001MS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChistikovKMSW16,
author = {Dmitry Chistikov and
Stefan Kiefer and
Ines Marusic and
Mahsa Shirmohammadi and
James Worrell},
title = {Nonnegative Matrix Factorization Requires Irrationality},
journal = {CoRR},
volume = {abs/1605.06848},
year = {2016},
url = {http://arxiv.org/abs/1605.06848},
eprinttype = {arXiv},
eprint = {1605.06848},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChistikovKMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChistikovKMSW16a,
author = {Dmitry Chistikov and
Stefan Kiefer and
Ines Marusic and
Mahsa Shirmohammadi and
James Worrell},
title = {On Restricted Nonnegative Matrix Factorization},
journal = {CoRR},
volume = {abs/1605.07061},
year = {2016},
url = {http://arxiv.org/abs/1605.07061},
eprinttype = {arXiv},
eprint = {1605.07061},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChistikovKMSW16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FijalkowKS15,
author = {Nathana{\"{e}}l Fijalkow and
Stefan Kiefer and
Mahsa Shirmohammadi},
title = {Trace Refinement in Labelled Markov Decision Processes},
journal = {CoRR},
volume = {abs/1510.09102},
year = {2015},
url = {http://arxiv.org/abs/1510.09102},
eprinttype = {arXiv},
eprint = {1510.09102},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FijalkowKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Shirmohammadi14,
author = {Mahsa Shirmohammadi},
title = {Qualitative analysis of synchronizing probabilistic systems. (Analyse
qualitative des syst{\`{e}}mes probabilistes synchronisants)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Cachan, France},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01153942},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Shirmohammadi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001MS14,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Robust Synchronization in Markov Decision Processes},
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 = {234--248},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_17},
doi = {10.1007/978-3-662-44584-6\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001MS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/0001MS14,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
editor = {Anca Muscholl},
title = {Limit Synchronization in Markov Decision Processes},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {58--72},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_4},
doi = {10.1007/978-3-642-54830-7\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/0001MS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001JLMS14,
author = {Laurent Doyen and
Line Juhl and
Kim Guldstrand Larsen and
Nicolas Markey and
Mahsa Shirmohammadi},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Synchronizing Words for Weighted and Timed Automata},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {121--132},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.121},
doi = {10.4230/LIPICS.FSTTCS.2014.121},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/0001JLMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001MS14,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
title = {Robust Synchronization in Markov Decision Processes},
journal = {CoRR},
volume = {abs/1402.2840},
year = {2014},
url = {http://arxiv.org/abs/1402.2840},
eprinttype = {arXiv},
eprint = {1402.2840},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001MS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001MS13a,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
title = {Limit Synchronization in Markov Decision Processes},
journal = {CoRR},
volume = {abs/1310.2935},
year = {2013},
url = {http://arxiv.org/abs/1310.2935},
eprinttype = {arXiv},
eprint = {1310.2935},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001MS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-0995,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
title = {Infinite Synchronizing Words for Probabilistic Automata (Erratum)},
journal = {CoRR},
volume = {abs/1206.0995},
year = {2012},
url = {http://arxiv.org/abs/1206.0995},
eprinttype = {arXiv},
eprint = {1206.0995},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-0995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DoyenMS11,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Infinite Synchronizing Words for Probabilistic Automata},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {278--289},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_27},
doi = {10.1007/978-3-642-22993-0\_27},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DoyenMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-4121,
author = {Laurent Doyen and
Thierry Massart and
Mahsa Shirmohammadi},
editor = {Johannes Reich and
Bernd Finkbeiner},
title = {Synchronizing Objectives for Markov Decision Processes},
booktitle = {Proceedings International Workshop on Interactions, Games and Protocols,
iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
series = {{EPTCS}},
volume = {50},
pages = {61--75},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.50.5},
doi = {10.4204/EPTCS.50.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ShahzamanianSD10,
author = {M. H. Shahzamanian and
Mahsa Shirmohammadi and
Bijan Davvaz},
title = {Roughness in Cayley graphs},
journal = {Inf. Sci.},
volume = {180},
number = {17},
pages = {3362--3372},
year = {2010},
url = {https://doi.org/10.1016/j.ins.2010.05.011},
doi = {10.1016/J.INS.2010.05.011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/ShahzamanianSD10.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-21 17:10 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:
