Jonathan Laurent

According to our database, Jonathan Laurent authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.

Jonathan Laurent, André Platzer

CoRR, 2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis.

Jonathan Laurent, André Platzer

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2018

Counterfactual Resimulation for Causal Analysis of Rule-Based Models.

Jonathan Laurent, Jean Yang, Walter Fontana

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Trace Query Language for Rule-Based Models.

Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana

Proceedings of the Computational Methods in Systems Biology, 2018

2015

Assuring the Guardians.

Jonathan Laurent, Alwyn Goodloe, Lee Pike

Proceedings of the Runtime Verification - 6th International Conference, 2015