GitHub - vlasin/Preprints: Preprint versions of my recent papers

vlasin / Preprints Public

Preprint versions of my recent papers

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
V. Sinyakov and A. Girard. Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity.pdf		V. Sinyakov and A. Girard. Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity.pdf
V. Sinyakov and A. Girard. Formal Synthesis from Control Programs.pdf		V. Sinyakov and A. Girard. Formal Synthesis from Control Programs.pdf