Author of the publication

OptCE: A Counterexample-Guided Inductive Optimization Solver.

, , , , and . SBMF, volume 10623 of Lecture Notes in Computer Science, page 125-141. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Application of Global Route-Planning Algorithms with Geodesy., , and . CoRR, (2016)Counterexample Guided Inductive Optimization., , , , and . CoRR, (2017)Survey on automated symbolic verification and its application for synthesising cyber-physical systems., , and . IET Cyper-Phys. Syst.: Theory & Appl., 5 (1): 1-24 (2020)Counterexample guided inductive optimization based on satisfiability modulo theories., , , , and . Sci. Comput. Program., (2018)Verifying fragility in digital systems with uncertainties using DSVerifier v2.0., , , , and . J. Syst. Softw., (2019)Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking., , , and . SBESC, page 49-54. IEEE Computer Society, (2014)Counterexample guided inductive optimization applied to mobile robots path planning., , , , and . LARS/SBR, page 1-6. IEEE, (2017)Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules., , , , and . IEEE Trans. Fuzzy Syst., 28 (10): 2427-2436 (2020)Verification of fixed-point digital controllers using direct and delta forms realizations., , , and . Des. Autom. Embed. Syst., 20 (2): 95-126 (2016)Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring., , , , , and . IEEE Access, (2018)