Keyword:synthesis

Papers
Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
SMT-Based CPS Parameter Synthesis Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis Scott Livingston and Vasumathi Raman In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John Lygeros In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems