Approximation of Reachability Sets for Nonlinear Unicycle Control System Using the Comparison Principle. - Vladimir Sinyakov; Ilya Roublev (NOLCOS, 2013)

Formal Controller Synthesis from Hybrid Programs. - Vladimir Sinyakov; Antoine Girard (HSCC, 2018)

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity. - Vladimir Sinyakov; Antoine Girard (CDC, 2019)

Formal Synthesis from Control Programs. - Vladimir Sinyakov; Antoine Girard (CDC, 2020)

Formal controller synthesis from specifications given by discrete-time hybrid automata. - Vladimir Sinyakov; Antoine Girard (Autom., 2021)

Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity. - Vladimir Sinyakov; Antoine Girard (IEEE Trans. Autom. Control., 2023)