On the Complexity of Determinizing Monitors

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-319-60134-2_1 ◽

2017 ◽

pp. 1-13 ◽

Cited By ~ 8

Author(s):

Luca Aceto ◽

Antonis Achilleos ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir ◽

Sævar Örn Kjartansson