Jonathan Laurent

15 papers A* 2B 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game.
CoRR
Aditi Kabra, Jonathan Laurent, Ruben Martins, Stefan Mitsch, André Platzer
2025 J jnl
Adaptive Shielding via Parametric Safety Proofs.
CoRR
Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent
2025 J jnl
Adaptive Shielding via Parametric Safety Proofs.
Proc. ACM Program. Lang.
Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent
2025 B conf
Can Large Language Models Autoformalize Kinematics?
FMCAD
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer
2025 J jnl
Can Large Language Models Autoformalize Kinematics?
CoRR
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer
2025 J jnl
Hybrid Game Control Envelope Synthesis.
CoRR
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
2025 J jnl
Oracular Programming: A Modular Foundation for Building LLM-Enabled Software.
CoRR
Jonathan Laurent, André Platzer
2024 — conf
CESAR: Control Envelope Synthesis via Angelic Refinements.
TACAS (1)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
2023 J jnl
Asymmetric quantum decision-making.
CoRR
Honoka Shiratori, Hiroaki Shinkawa, André Röhm, Nicolas Chauvet, Etsuo Segawa, Jonathan Laurent, Guillaume Bachelier, Tomoki Yamagami, Ryoichi Horisaki, Makoto Naruse
2023 J jnl
CESAR: Control Envelope Synthesis via Angelic Refinements.
CoRR
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
2022 J jnl
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.
CoRR
Jonathan Laurent, André Platzer
2022 A* conf
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis.
NeurIPS
Jonathan Laurent, André Platzer
2018 — conf
A Trace Query Language for Rule-Based Models.
CMSB
Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana
2018 A* conf
Counterfactual Resimulation for Causal Analysis of Rule-Based Models.
IJCAI
Jonathan Laurent, Jean Yang, Walter Fontana
2015 B conf
Assuring the Guardians.
RV
Jonathan Laurent, Alwyn Goodloe, Lee Pike