Author:Alexandre Duret-Lutz
Keyphrasesacceptance condition, Emerson-Lei acceptance, HOA format, LTL, LTL to automata translation, omega-automata, semi-deterministic automata, tool, transformation, ω-automata. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |