Search - Archive ouverte HAL Access content directly

Filter your results

72 Results
Image document

Lower Bounds for Arithmetic Circuits via the Hankel Matrix

Nathanaël Fijalkow , Guillaume Lagarde , Pierre Ohlmann , Olivier Serre
Computational Complexity, 2021, 30 (2), ⟨10.1007/s00037-021-00214-1⟩
Journal articles hal-03383188v1

Expressiveness of Probabilistic Modal Logics, Revisited

Nathanaël Fijalkow , Bartek Klin , Prakash Panangaden
International Colloquium on Automata, Languages, and Programming, ICALP, 2017, Warrsaw, Poland. ⟨10.4230/LIPIcs.ICALP.2017.105⟩
Conference papers hal-03410678v1

A Reduction from Parity Games to Simple Stochastic Games

Krishnendu Chatterjee , Nathanaël Fijalkow
International Symposium on Games, Automata, Logics, and Formal Verification, GandALF, 2011, NA, Italy. ⟨10.4204/EPTCS.54.6⟩
Conference papers hal-03410691v1

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic

Nathanaël Fijalkow , Bastien Maubert , Aniello Murano , Moshe Y. Vardi
International Joint Conference on Artificial Intelligence, IJCAI, 2020, NA, France. ⟨10.24963/ijcai.2020/17⟩
Conference papers hal-03410674v1

Profinite Techniques for Probabilistic Automata

Nathanaël Fijalkow
Bulletin of the EATCS, 2017, 122
Journal articles hal-03410677v1
Image document

Counting and Randomising in Automata Theory

Nathanaël Fijalkow
Computer Science and Game Theory [cs.GT]. Université Paris Diderot - Paris 7; Université de Varsovie (Pologne), 2015. English. ⟨NNT : ⟩
Theses tel-03720617v1
Image document

The Game of Synthesis

Nathanaël Fijalkow
Computer Science and Game Theory [cs.GT]. Université de Bordeaux, 2022
Habilitation à diriger des recherches tel-03720575v1

Cost-Parity and Cost-Streett Games

Nathanaël Fijalkow , Martin Zimmermann
Foundations of Software Technology and Theoretical Computer Science, FSTTCS, 2012, NA, India. ⟨10.4230/LIPIcs.FSTTCS.2012.124⟩
Conference papers hal-03410690v1
Image document

ACME: Automata with Counters, Monoids and Equivalence

Nathanaël Fijalkow , Denis Kuperberg
ATVA, 2014, Sydney, Australia. pp.163-167, ⟨10.1007/978-3-319-11936-6_12⟩
Conference papers hal-02101510v1

Timed Comparisons of Semi-Markov Processes

Mathias Pedersen , Nathanaël Fijalkow , Giorgio Bacci , Kim G. Larsen , Radu Mardare et al.
LATA, Apr 2018, Tel Aviv, Israel. pp.271-283, ⟨10.1007/978-3-319-77313-1_21⟩
Conference papers hal-02504883v1
Image document

Characterisation of an Algebraic Algorithm for Probabilistic Automata Characterisation of an Algebraic Algorithm for Probabilistic Automata

Nathanaël Fijalkow
STACS, Symposium on Theoretical Aspects of Computer Science, Feb 2016, Orléans, France
Conference papers hal-01102610v3
Image document

Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games

Nathanaël Fijalkow , Paweł Gawrychowski , Pierre Ohlmann
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.34⟩
Conference papers hal-03800510v1

New Algorithms for Combinations of Objectives using Separating Automata

Ashwani Anand , Nathanaël Fijalkow , Aliénor Goubault-Larrecq , Jérôme Leroux , Pierre Ohlmann et al.
International Symposium on Games, Automata, Logics, and Formal Verification, GandALF, 2021, NA, Italy
Conference papers hal-03410670v1

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⟩
Conference papers hal-03410683v1

L'avènement de la synthèse de programmes

Nathanaël Fijalkow
Interstices, 2022
Journal articles hal-03410668v1

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⟩
Journal articles hal-02503354v1

A Robust Class of Linear Recurrence Sequences

Corentin Barloy , Nathanaël Fijalkow , Nathan Lhote , Filip Mazowiecki
CSL, 2020, Barcelona, Spain
Conference papers hal-02395766v1

Infinite-state Games with Finitary Conditions

Krishnendu Chatterjee , Nathanaël Fijalkow
Computer Science in Logic, CSL, 2013, NA, Italy. ⟨10.4230/LIPIcs.CSL.2013.181⟩
Conference papers hal-03410688v1

Les jeux d'accessibilité généralisée

Nathanaël Fijalkow , Florian Horn
Technique et Science Informatiques, 2013, 32 (9-10), ⟨10.3166/tsi.32.931-949⟩
Journal articles istex hal-03410689v1

Monadic Second-Order Logic with Arbitrary Monadic Predicates

Nathanaël Fijalkow , Charles Paperman
Mathematical Foundations of Computer Science, MFCS, 2014, NA, France. ⟨10.1007/978-3-662-44522-8\_24⟩
Conference papers hal-03410686v1

On the Monniaux Problem in Abstract Interpretation

Nathanaël Fijalkow , Engel Lefaucheux , Pierre Ohlmann , Joël Ouaknine , Amaury Pouly et al.
SAS, 2019, Porto, Portugal
Conference papers hal-02395773v1

Probabilistic automata of bounded ambiguity

Nathanaël Fijalkow , Cristian Riveros , James Worrell
Information and Computation, 2022, 282, pp.104648. ⟨10.1016/j.ic.2020.104648⟩
Journal articles hal-03800467v1

Public and Private Affairs in Strategic Reasoning

Nathanaël Fijalkow , Bastien Maubert , Aniello Murano , Sasha Rubin , Moshe Vardi et al.
19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, Jul 2022, Haifa, Israel. pp.132-140, ⟨10.24963/kr.2022/14⟩
Conference papers hal-03775036v1
Image document

Lower Bounds for Alternating Online State Complexity

Nathanaël Fijalkow
2016
Preprints, Working Papers, ... hal-01340607v2
Image document

Stamina: Stabilisation Monoids IN Automata theory

Nathanaël Fijalkow , Hugo Gimbert , Edon Kelmendi , Denis Kuperberg
CIAA - International Conference on Implementation and Application of Automata, 2017, Marne-la-Vallée, France
Conference papers hal-01891164v1

Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games

Wojciech Czerwiński , Laure Daviaud , Nathanaël Fijalkow , Marcin Jurdziński , Ranko Lazić et al.
SODA, Jan 2019, San Diego, United States
Conference papers hal-02395778v1
Image document

Statistical Comparison of Algorithm Performance Through Instance Selection

Théo Matricon , Mario Anastacio , Nathanaël Fijalkow , Laurent Simon , Holger H Hoos et al.
International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.43⟩
Conference papers hal-03800492v1

Cost-Parity and Cost-Streett Games

Nathanaël Fijalkow , Martin Zimmermann
Logical Methods in Computer Science, 2014, 10 (2), ⟨10.2168/LMCS-10(2:14)2014⟩
Journal articles hal-03410687v1
Image document

Deciding the value 1 problem for probabilistic leaktight automata

Nathanaël Fijalkow , Hugo Gimbert , Edon Kelmendi , Youssouf Oualhadj
Logical Methods in Computer Science, 2015, pp.37. ⟨10.2168/LMCS-2014-994⟩
Journal articles hal-01140262v1
Image document

The surprizing complexity of generalized reachability games

Nathanaël Fijalkow , Florian Horn
2010
Preprints, Working Papers, ... hal-00525762v2