Joris Tillet

Orcid: 0000-0002-1955-6725

According to our database1, Joris Tillet authored at least 7 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees.
Int. J. Approx. Reason., 2026

2025
Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.
Acta Cybern., 2025

Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Integration of acoustic constraints in trajectory generation.
Proceedings of the 11th International Conference on Control, 2025

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis.
Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2021
Safe localization and control of a towed sensor. (Localisation et contrôle sûrs d'un capteur tracté).
PhD thesis, 2021

2020
Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020


  Loading...