Profil personnel
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Patel, I., Perschl, M., Schilling, C. & Tillet, J., 1 janv. 2025, Dans: EPiC Series in Computing. 108, p. 39-70 32 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval
Zhang, K., Lucet, E., Sandretto, J. A. D., Chen, S. & Filliat, D., 1 janv. 2025, Dans: Proceedings of the International Conference on Informatics in Control, Automation and Robotics. 2, p. 139-149 11 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic
Besset, A., Dit Sandretto, J. A. & Tillet, J., 1 janv. 2025, IROS 2025 - 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems, Conference Proceedings. Laugier, C., Renzaglia, A., Atanasov, N., Birchfield, S., Cielniak, G., De Mattos, L., Fiorini, L., Giguere, P., Hashimoto, K., Ibanez-Guzman, J., Kamegawa, T., Lee, J., Loianno, G., Luck, K., Maruyama, H., Martinet, P., Moradi, H., Nunes, U., Pettre, J., Pretto, A., Ranzani, T., Ronnau, A., Rossi, S., Rouse, E., Ruggiero, F., Simonin, O., Wang, D., Yang, M., Yoshida, E. & Zhao, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 14892-14898 7 p. (IEEE International Conference on Intelligent Robots and Systems ).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series
Sandretto, J. A. D., 1 sept. 2025, Dans: ACM Communications in Computer Algebra. 59, 3, p. 57-63 7 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
Besset, A., Tillet, J. & Dit Sandretto, J. A., 1 janv. 2025, 2025 IEEE 64th Conference on Decision and Control, CDC 2025. Institute of Electrical and Electronics Engineers Inc., p. 6400-6407 8 p. (Proceedings of the IEEE Conference on Decision and Control).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations — A Collision Detection Application
dit Sandretto, J. A., Chapoutot, A., Garion, C. & Thirioux, X., 1 janv. 2024, Dans: Acta Cybernetica. 26, 4, p. 755-774 20 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J. & Wetzlinger, M., 1 janv. 2024, Dans: EPiC Series in Computing. 103, p. 39-63 25 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Validated B-series and Runge-Kutta pairs
Alexandre dit Sandretto, J., 1 juil. 2024, Dans: Numerical Algorithms. 96, 3, p. 1045-1062 18 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking
Govignon, C., Brendel, E. & Dit Sandretto, J. A., 1 janv. 2024, Dans: Proceedings of the International Conference on Informatics in Control, Automation and Robotics. 1, p. 660-667 8 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., dit Sandretto, J. A., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 1 janv. 2023, Dans: EPiC Series in Computing. 96, p. 61-83 23 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert