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

Hybrid Computer-Human Supervision of Discrete Event Systems., , and . ICRA, page 2321-2326. IEEE, (2002)Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (12): 5247-5260 (2020)Structural Coverability for Intelligent Automation Systems., , and . CASE, page 1-6. IEEE, (2023)An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem., , and . CASE, page 1364-1369. IEEE, (2021)Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers., , and . MED, page 542-547. IEEE, (2021)Enumeration of Valid Partial Configurations., , and . Configuration Workshop, volume 755 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Evaluating Two Semantics for Falsification using an Autonomous Driving Example., , , and . INDIN, page 386-391. IEEE, (2019)Falsification of Cyber-Physical Systems using Bayesian Optimization., , , and . CoRR, (2022)Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation., , and . CASE, page 1590-1595. IEEE, (2020)Testing Cyber-Physical Systems Using a Line-Search Falsification Method., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (8): 2393-2406 (2022)