Jean-Baptiste Jeannin

1. Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
   2022/07/09 by Liren Yang, Yang, Liren, Hang Zhang +5 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Computational Geometry (cs.CG) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
2. A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid\n Systems: Extended Technical Report
   2021/03/14 by Hammad Ahmad, Jean-Baptiste Jeannin, Ahmad, Hammad +1 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
3. Automating Geometric Proofs of Collision Avoidance with Active Corners
   2022/07/15 by Nishant Kheterpal, Elanor Tang, Kheterpal, Nishant +3 · 1 citation
   Computer Science · Engineering · #Computational Geometry and Mesh Generation #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
4. Synchronous Programming with Refinement Types
   2024/06/10 by Jiawei Chen, José Luiz Vargas de Mendonça, Chen, Jiawei +15 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Interconnection Networks and Systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)