Author of the publication

Modeling of discrete event systems using finite automata with variables.

, , and . CDC, page 3387-3392. IEEE, (2007)

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)Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers., , and . MED, page 542-547. IEEE, (2021)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)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)Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering., , and . IEEE Trans Autom. Sci. Eng., 14 (2): 692-693 (2017)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)