Author of the publication

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

CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems., and . HSCC, volume 4416 of Lecture Notes in Computer Science, page 399-412. Springer, (2007)On placing skips optimally in expectation., , , and . WSDM, page 15-24. ACM, (2008)Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 180-195. Springer, (2010)From Boolean Functional Equations to Control Software, , , and . CoRR, (2011)Linearizing Discrete-Time Hybrid Systems., , , , and . IEEE Trans. Autom. Control., 62 (10): 5357-5364 (2017)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , and . IEEE Trans. Ind. Electron., 69 (8): 8566-8578 (2022)A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management., , , and . Appl. Artif. Intell., 35 (5): 353-372 (2021)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , and . RCRA@FLoC, volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)System Level Formal Verification via Model Checking Driven Simulation., , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 296-312. Springer, (2013)Simulator Semantics for System Level Formal Verification., , , , and . GandALF, volume 193 of EPTCS, page 86-99. (2015)