Synthesizing Switching Logic Using Constraint Solving
From MaRDI portal
Publication:3600482
DOI10.1007/978-3-540-93900-9_25zbMath1206.68191OpenAlexW2634524329MaRDI QIDQ3600482
Ankur Taly, Sumit Gulwani, Ashish Kumar Tiwari
Publication date: 10 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9196
Related Items (4)
Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
This page was built for publication: Synthesizing Switching Logic Using Constraint Solving