Jonathan Laurent

Orcid: 0000-0002-8477-1560

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CESAR: Control Envelope Synthesis via Angelic Refinements.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Asymmetric quantum decision-making.
CoRR, 2023

2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.
CoRR, 2022

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis.
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.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Trace Query Language for Rule-Based Models.
Proceedings of the Computational Methods in Systems Biology, 2018

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


  Loading...