Recherche - Archive ouverte HAL

	Pour les 26 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		How to Play in Infinite MDPs Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke , Dominik Wojtczak 47th International Colloquium on Automata, Languages, and Programming (ICALP 202)0, Jul 2020, Sarrebruck, Germany. pp.3:1--3:18, ⟨10.4230/LIPIcs.ICALP.2020.3⟩ Communication dans un congrès hal-03064669v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Costs and rewards in priced timed automata Martin Fränzle , Mahsa Shirmohammadi , Mani Swaminathan , James Worrell Information and Computation, 2022, 282, pp.104656. ⟨10.1016/j.ic.2020.104656⟩ Article dans une revue hal-03861549v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Coverability in 1-VASS with Disequality Tests Shaull Almagor , Nathann Cohen , Guillermo A. Pérez , Mahsa Shirmohammadi , James Worrell 31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩ Communication dans un congrès hal-03064637v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Multiplicity Problems on Algebraic Series and Context-Free Grammars Nikhil Balaji , Lorenzo Clemente , Klara Nosan , Mahsa Shirmohammadi , James Worrell 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-12, ⟨10.1109/LICS56636.2023.10175707⟩ Communication dans un congrès hal-04252566v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Transience in Countable MDPs Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke 32nd International Conference on Concurrency Theory, {CONCUR} 2021, Aug 2021, Virtual Conference, France Communication dans un congrès hal-03435906v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Cyclotomic Identity Testing and Applications Nikhil Balaji , Sylvain Perifel , Mahsa Shirmohammadi , James Worrell ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event Russian Federation, France. pp.35-42, ⟨10.1145/3452143.3465530⟩ Communication dans un congrès hal-03435904v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On strong determinacy of countable stochastic games Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczak 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005134⟩ Communication dans un congrès hal-02411538v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Membership Problem for Hypergeometric Sequences with Quadratic Parameters George Kenison , Klara Nosan , Mahsa Shirmohammadi , James Worrell ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩ Communication dans un congrès hal-04252563v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Synchronizing Automata over Nested Words Dmitry Chistikov , Pavel Martyugin , Mahsa Shirmohammadi Journal of Automata Languages and Combinatorics, 2019, 24 (2-4), pp.219--251. ⟨10.25596/jalc-2019-219⟩ Article dans une revue hal-02411524v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Complexity of Value Iteration Mahsa Shirmohammadi , Nikhil Balaji , Stefan Kiefer , Petr Novotny , Guillermo A. Pérez 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.102⟩ Communication dans un congrès hal-02411530v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Rationality of Nonnegative Matrix Factorization Dmitry Chistikov , Stefan Kiefer , Ines Marušic , Mahsa Shirmohammadi , James Worrell Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain. pp.1290-1305, ⟨10.1137/1.9781611974782.84⟩ Communication dans un congrès hal-02411542v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Revisiting reachability in timed automata Karin Quaas , Mahsa Shirmohammadi , James Worrell 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005098⟩ Communication dans un congrès hal-02411539v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Strategy Complexity of Parity Objectives in Countable MDPs Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke 31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.39:1--39:17, ⟨10.4230/LIPIcs.CONCUR.2020.39⟩ Communication dans un congrès hal-03064654v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Büchi Objectives in Countable MDPs Mahsa Shirmohammadi , Stefan Kiefer , Richard Mayr , Patrick Totzke 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.119⟩ Communication dans un congrès hal-02411532v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Effective definability of the reachability relation in timed automata Martin Fränzle , Karin Quaas , Mahsa Shirmohammadi , James Worrell Information Processing Letters, 2020, 153, pp.105871. ⟨10.1016/j.ipl.2019.105871⟩ Article dans une revue hal-03064610v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Costs and Rewards in Priced Timed Automata James Worrell , Mani Swaminathan , Martin Fränzle , Mahsa Shirmohammadi 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.125⟩ Communication dans un congrès hal-02411534v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Beginner's Tutorial on Strategy Complexity in Stochastic Games Mahsa Shirmohammadi ACM SIGLOG News, 2022, 9 (4), pp.27-43. ⟨10.1145/3583660.3583666⟩ Article dans une revue hal-04252568v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Trace Refinement in Labelled Markov Decision Processes Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi Logical Methods in Computer Science, 2020, 16 (2), ⟨10.23638/LMCS-16(2:10)2020⟩ Article dans une revue hal-02503354v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Trace Refinement in Labelled Markov Decision Processes Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi Foundations of Software Science and Computation Structures, FoSSaCS, 2016, NA, United Kingdom. ⟨10.1007/978-3-662-49630-5\_18⟩ Communication dans un congrès hal-03410683v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Membership Problem for Hypergeometric Sequences with Rational Parameters Klara Nosan , Amaury Pouly , Mahsa Shirmohammadi , James Worrell ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.381-389, ⟨10.1145/3476446.3535504⟩ Communication dans un congrès hal-03861547v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Identity Testing for Radical Expressions Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-11, ⟨10.1145/3531130.3533331⟩ Communication dans un congrès hal-03861546v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Synchronizing Data Words for Register Automata Karin Quaas , Mahsa Shirmohammadi ACM Transactions on Computational Logic, 2019, 20 (2), pp.1-27. ⟨10.1145/3309760⟩ Article dans une revue hal-02411520v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Modeling and Analysis of Timed Systems Mahsa Shirmohammadi , Catalin Dima Springer International Publishing, 12860, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85037-1⟩ Ouvrages hal-03435905v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices Klara Nosan , Amaury Pouly , Sylvain Schmitz , Mahsa Shirmohammadi , James Worrell Proceedings of ISSAC 2022, 2022, Villeneuve-d’Ascq, France. ⟨10.1145/3476446.3536172⟩ Communication dans un congrès hal-03450297v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Parity objectives in countable MDPs Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczakz 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-11, ⟨10.1109/LICS.2017.8005100⟩ Communication dans un congrès hal-02411536v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The complexity of synchronizing Markov decision processes Laurent Doyen , Thierry Massart , Mahsa Shirmohammadi Journal of Computer and System Sciences, 2019, 100, pp.96-129. ⟨10.1016/j.jcss.2018.09.004⟩ Article dans une revue hal-02411525v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

How to Play in Infinite MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke , Dominik Wojtczak

47th International Colloquium on Automata, Languages, and Programming (ICALP 202)0, Jul 2020, Sarrebruck, Germany. pp.3:1--3:18, ⟨10.4230/LIPIcs.ICALP.2020.3⟩

Communication dans un congrès hal-03064669v1

Costs and rewards in priced timed automata

Martin Fränzle , Mahsa Shirmohammadi , Mani Swaminathan , James Worrell

Information and Computation, 2022, 282, pp.104656. ⟨10.1016/j.ic.2020.104656⟩

Article dans une revue hal-03861549v1

Coverability in 1-VASS with Disequality Tests

Shaull Almagor , Nathann Cohen , Guillermo A. Pérez , Mahsa Shirmohammadi , James Worrell

31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩

Communication dans un congrès hal-03064637v1

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Nikhil Balaji , Lorenzo Clemente , Klara Nosan , Mahsa Shirmohammadi , James Worrell

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-12, ⟨10.1109/LICS56636.2023.10175707⟩

Communication dans un congrès hal-04252566v1

Transience in Countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke

32nd International Conference on Concurrency Theory, {CONCUR} 2021, Aug 2021, Virtual Conference, France

Communication dans un congrès hal-03435906v1

Cyclotomic Identity Testing and Applications

Nikhil Balaji , Sylvain Perifel , Mahsa Shirmohammadi , James Worrell

ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event Russian Federation, France. pp.35-42, ⟨10.1145/3452143.3465530⟩

Communication dans un congrès hal-03435904v1

On strong determinacy of countable stochastic games

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczak

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005134⟩

Communication dans un congrès hal-02411538v1

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

George Kenison , Klara Nosan , Mahsa Shirmohammadi , James Worrell

ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩

Communication dans un congrès hal-04252563v1

Synchronizing Automata over Nested Words

Dmitry Chistikov , Pavel Martyugin , Mahsa Shirmohammadi

Journal of Automata Languages and Combinatorics, 2019, 24 (2-4), pp.219--251. ⟨10.25596/jalc-2019-219⟩

Article dans une revue hal-02411524v1

On the Complexity of Value Iteration

Mahsa Shirmohammadi , Nikhil Balaji , Stefan Kiefer , Petr Novotny , Guillermo A. Pérez

46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.102⟩

Communication dans un congrès hal-02411530v1

On Rationality of Nonnegative Matrix Factorization

Dmitry Chistikov , Stefan Kiefer , Ines Marušic , Mahsa Shirmohammadi , James Worrell

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain. pp.1290-1305, ⟨10.1137/1.9781611974782.84⟩

Communication dans un congrès hal-02411542v1

Revisiting reachability in timed automata

Karin Quaas , Mahsa Shirmohammadi , James Worrell

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005098⟩

Communication dans un congrès hal-02411539v1

Strategy Complexity of Parity Objectives in Countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke

31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.39:1--39:17, ⟨10.4230/LIPIcs.CONCUR.2020.39⟩

Communication dans un congrès hal-03064654v1

Büchi Objectives in Countable MDPs

Mahsa Shirmohammadi , Stefan Kiefer , Richard Mayr , Patrick Totzke

46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.119⟩

Communication dans un congrès hal-02411532v1

Effective definability of the reachability relation in timed automata

Martin Fränzle , Karin Quaas , Mahsa Shirmohammadi , James Worrell

Information Processing Letters, 2020, 153, pp.105871. ⟨10.1016/j.ipl.2019.105871⟩

Article dans une revue hal-03064610v1

Costs and Rewards in Priced Timed Automata

James Worrell , Mani Swaminathan , Martin Fränzle , Mahsa Shirmohammadi

45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.125⟩

Communication dans un congrès hal-02411534v1

A Beginner's Tutorial on Strategy Complexity in Stochastic Games

Mahsa Shirmohammadi

ACM SIGLOG News, 2022, 9 (4), pp.27-43. ⟨10.1145/3583660.3583666⟩

Article dans une revue hal-04252568v1

Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi

Logical Methods in Computer Science, 2020, 16 (2), ⟨10.23638/LMCS-16(2:10)2020⟩

Article dans une revue hal-02503354v1

Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi

Foundations of Software Science and Computation Structures, FoSSaCS, 2016, NA, United Kingdom. ⟨10.1007/978-3-662-49630-5\_18⟩

Communication dans un congrès hal-03410683v1

The Membership Problem for Hypergeometric Sequences with Rational Parameters

Klara Nosan , Amaury Pouly , Mahsa Shirmohammadi , James Worrell

ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.381-389, ⟨10.1145/3476446.3535504⟩

Communication dans un congrès hal-03861547v1

Identity Testing for Radical Expressions

Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell

LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-11, ⟨10.1145/3531130.3533331⟩

Communication dans un congrès hal-03861546v1

Synchronizing Data Words for Register Automata

Karin Quaas , Mahsa Shirmohammadi

ACM Transactions on Computational Logic, 2019, 20 (2), pp.1-27. ⟨10.1145/3309760⟩

Article dans une revue hal-02411520v1

Formal Modeling and Analysis of Timed Systems

Mahsa Shirmohammadi , Catalin Dima

Springer International Publishing, 12860, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85037-1⟩

Ouvrages hal-03435905v1

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

Klara Nosan , Amaury Pouly , Sylvain Schmitz , Mahsa Shirmohammadi , James Worrell

Proceedings of ISSAC 2022, 2022, Villeneuve-d’Ascq, France. ⟨10.1145/3476446.3536172⟩

Communication dans un congrès hal-03450297v1

Parity objectives in countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczakz

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-11, ⟨10.1109/LICS.2017.8005100⟩

Communication dans un congrès hal-02411536v1

The complexity of synchronizing Markov decision processes

Laurent Doyen , Thierry Massart , Mahsa Shirmohammadi

Journal of Computer and System Sciences, 2019, 100, pp.96-129. ⟨10.1016/j.jcss.2018.09.004⟩

Article dans une revue hal-02411525v1

Filtrer vos résultats

How to Play in Infinite MDPs

Costs and rewards in priced timed automata

Coverability in 1-VASS with Disequality Tests

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Transience in Countable MDPs

Cyclotomic Identity Testing and Applications

On strong determinacy of countable stochastic games

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

Synchronizing Automata over Nested Words

On the Complexity of Value Iteration

On Rationality of Nonnegative Matrix Factorization

Revisiting reachability in timed automata

Strategy Complexity of Parity Objectives in Countable MDPs

Büchi Objectives in Countable MDPs

Effective definability of the reachability relation in timed automata

Costs and Rewards in Priced Timed Automata

A Beginner's Tutorial on Strategy Complexity in Stochastic Games

Trace Refinement in Labelled Markov Decision Processes

Trace Refinement in Labelled Markov Decision Processes

The Membership Problem for Hypergeometric Sequences with Rational Parameters

Identity Testing for Radical Expressions

Synchronizing Data Words for Register Automata

Formal Modeling and Analysis of Timed Systems

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

Parity objectives in countable MDPs

The complexity of synchronizing Markov decision processes