Jean-Baptiste Jeannin - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Not registered as user

Name:Jean-Baptiste Jeannin

Country:United States

Affiliation:University of Michigan at Ann Arbor

Personal website: https://aero.engin.umich.edu/people/jean-baptiste-jeannin/

Contributions

2022

FTSCS

Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation

Show activities from other conferences

SPLASH 2022-profile
View general profile