Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Nathanaël Fijalkow
Map detail
Nathanaël Fijalkow20 visible / 20 total nodes / 46 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalNathanaël FijalkowANathanaël FijalkowResearcherTransformers Linearly Represent Highly Structured World ModelsWTransformers Linearly R...preprint / 2026GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond CachingWGPU-Accelerated Synthes...preprint / 2026Gabriel BathieAGabriel BathieResearcherBaptiste MouillonABaptiste MouillonResearcherRoman KniazevARoman KniazevResearcherMachine LearningTMachine Learning49008 worksProbabilistic Automata of Bounded AmbiguityWProbabilistic Automata ...preprint / 2022The Complexity of Learning Linear Temporal Formulas from ExamplesWThe Complexity of Learn...preprint / 2021Pushing undecidability of the isolation problem for probabilistic automataWPushing undecidability ...preprint / 2011The surprizing complexity of generalized reachability gamesWThe surprizing complexi...preprint / 2012Deciding the Value 1 Problem of Probabilistic Leaktight AutomataWDeciding the Value 1 Pr...preprint / 2012What is known about the Value 1 Problem for Probabilistic Automata?WWhat is known about the...preprint / 2014Parity and Streett Games with CostsWParity and Streett Game...preprint / 2014Lower Bounds for Alternating Online State ComplexityWLower Bounds for Altern...preprint / 2016Artificial IntelligenceTArtificial Intelligence22915 worksProgramming LanguagesTProgramming Languages1239 worksDistributed, Parallel, and Cluster ComputingTDistributed, Parallel, ...4102 worksLTL$_f$ Learning Meets Boolean Set CoverWLTL$_f$ Learning Meets ...preprint / 2026A reduction from parity games to simple stochastic gamesWA reduction from parity...preprint / 2011
Person19 links

Nathanaël Fijalkow

Researcher