Eventuality synthesis for controlled linear automata

H. Xia, Y. Pang, M.P. Spathopoulos

Research output: Contribution to conferencePaper

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Eventuality synthesis for controlled linear automata'. Together they form a unique fingerprint.

Engineering & Materials Science