Keyword:synthesis

Papers
Parameter Synthesis for Probabilistic Hyperproperties Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesis/Programming of Hopfield Associative Memory Rama Murthy Garimella, Krishna Vamshi Reddy Lankala, Devaki Nimmagadda and Sree Divya Bondalapati EasyChair Preprint no. 1913
Montmorillonite Impregnated with Bismuth Nitrate: A mild and efficient reagent for the synthesis of gem-dinitro compounds from oximes Rajasekhar Koorella, Raatalu Nayudu and Ramkoti Gugulothu EasyChair Preprint no. 1966
Synthesis of the management strategy of the ship power plant for the combined propulsion complex Vitalii Budashko and Valerii Shevchenko EasyChair Preprint no. 1753
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis Jan Bessai, Moritz Roidl and Anna Vasileva EasyChair Preprint no. 1541
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