Jonathan Laurent

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Search Strategies

Statistical Models

Intelligent Decision Making

Top Venues

Publications

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) (2024)
Honoka Shiratori, Hiroaki Shinkawa, André Röhm, Nicolas Chauvet, Etsuo Segawa, Jonathan Laurent, Guillaume Bachelier, Tomoki Yamagami, Ryoichi Horisaki, Makoto Naruse
Asymmetric quantum decision-making. CoRR (2023)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR (2023)
Jonathan Laurent, André Platzer
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis. NeurIPS (2022)
Jonathan Laurent, André Platzer
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies. CoRR (2022)
Jonathan Laurent, Jean Yang, Walter Fontana
Counterfactual Resimulation for Causal Analysis of Rule-Based Models. IJCAI (2018)
Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana
A Trace Query Language for Rule-Based Models. CMSB (2018)
Jonathan Laurent, Alwyn Goodloe, Lee Pike
Assuring the Guardians. RV (2015)