Personal profile
Fingerprint
Dive into the research topics where Julien Alexandre-Dit-Sandretto is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 Jan 2025, In: EPiC Series in Computing. 108, p. 39-70 32 p.Research output: Contribution to journal › Conference article › peer-review
-
NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval
Zhang, K., Lucet, E., Sandretto, J. A. D., Chen, S. & Filliat, D., 1 Jan 2025, In: Proceedings of the International Conference on Informatics in Control, Automation and Robotics. 2, p. 139-149 11 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic
Besset, A., Dit Sandretto, J. A. & Tillet, J., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series
Sandretto, J. A. D., 1 Sept 2025, In: ACM Communications in Computer Algebra. 59, 3, p. 57-63 7 p.Research output: Contribution to journal › Article › peer-review
-
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 Jan 2024, In: Acta Cybernetica. 26, 4, p. 755-774 20 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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 Jan 2024, In: EPiC Series in Computing. 103, p. 39-63 25 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Validated B-series and Runge-Kutta pairs
Alexandre dit Sandretto, J., 1 Jul 2024, In: Numerical Algorithms. 96, 3, p. 1045-1062 18 p.Research output: Contribution to journal › Article › peer-review
-
Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking
Govignon, C., Brendel, E. & Dit Sandretto, J. A., 1 Jan 2024, In: Proceedings of the International Conference on Informatics in Control, Automation and Robotics. 1, p. 660-667 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
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 Jan 2023, In: EPiC Series in Computing. 96, p. 61-83 23 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
A Review of Classical and Learning Based Approaches in Task and Motion Planning
Zhang, K., Lucet, E., Sandretto, J. A. D., Kchir, S. & Filliat, D., 1 Jan 2023, Informatics in Control, Automation and Robotics - 19th International Conference, ICINCO 2022, Revised Selected Papers. Gini, G., Nijmeijer, H., Burgard, W. & Filev, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 83-99 17 p. (Lecture Notes in Networks and Systems; vol. 836 LNNS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access