Compositional Verification of Finite Automata under Event Preemption

Tang Y, Moor T (2021)

Publication Type: Conference contribution

Publication year: 2021

Publisher: IEEE

City/Town: NEW YORK

Pages Range: 301-308

Conference Proceedings Title: 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)

Event location: , ELECTR NETWORK

DOI: 10.1109/CDC45484.2021.9682897

Authors with CRIS profile

Yiheng Tang Chair of Automatic Control Thomas Moor Professur für Regelungstechnik

Related research project(s)

Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1) April 15, 2019 - April 14, 2020

How to cite

APA:

Tang, Y., & Moor, T. (2021). Compositional Verification of Finite Automata under Event Preemption. In 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) (pp. 301-308). , ELECTR NETWORK: NEW YORK: IEEE.

MLA:

Tang, Yiheng, and Thomas Moor. "Compositional Verification of Finite Automata under Event Preemption." Proceedings of the 60th IEEE Conference on Decision and Control (CDC), , ELECTR NETWORK NEW YORK: IEEE, 2021. 301-308.

BibTeX: Download