Report copyright - 1 Translating from LTL to automata. 2 Why translating? Want to write the specification in some logic. Want to check that an automaton (or a Kripke structure)
Please pass captcha verification before submit form
Please pass captcha verification before submit form