Assuring the Guardians. - Jonathan Laurent; Alwyn Goodloe; Lee Pike (RV, 2015)

A Trace Query Language for Rule-Based Models. - Jonathan Laurent; Héctor F. Medina-Abarca; Pierre Boutillier; Jean Yang; Walter Fontana (CMSB, 2018)

Counterfactual Resimulation for Causal Analysis of Rule-Based Models. - Jonathan Laurent; Jean Yang; Walter Fontana (IJCAI, 2018)

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis. - Jonathan Laurent; André Platzer (NeurIPS, 2022)

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies. - Jonathan Laurent; André Platzer (CoRR, 2022)

Asymmetric quantum decision-making. - Honoka Shiratori; Hiroaki Shinkawa; André Röhm; Nicolas Chauvet; Etsuo Segawa; Jonathan Laurent; Guillaume Bachelier; Tomoki Yamagami; Ryoichi Horisaki; Makoto Naruse (CoRR, 2023)

CESAR: Control Envelope Synthesis via Angelic Refinements. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (TACAS (1), 2024)

Adaptive Shielding via Parametric Safety Proofs. - Yao Feng 002; Jun Zhu 001; André Platzer; Jonathan Laurent (Proc. ACM Program. Lang., 2025)

Adaptive Shielding via Parametric Safety Proofs. - Yao Feng 002; Jun Zhu 001; André Platzer; Jonathan Laurent (Zenodo, 2025)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software. - Jonathan Laurent; André Platzer (CoRR, 2025)

Hybrid Game Control Envelope Synthesis. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (CoRR, 2025)