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

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)Hybrid Computer-Human Supervision of Discrete Event Systems., , and . ICRA, page 2321-2326. IEEE, (2002)Evaluating Two Semantics for Falsification using an Autonomous Driving Example., , , and . INDIN, page 386-391. IEEE, (2019)Modular specification of forbidden states for supervisory control., , and . WODES, page 412-417. International Federation of Automatic Control, (2010)Formal analysis of product variability and the effects on assembly operations., , , and . ETFA, page 1-4. IEEE, (2015)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)