Publication Records

2019

1. LTL to Smaller Self-Loop Alternating Automata and Back

   BLAHOUDEK, František, Juraj MAJOR and Jan STREJČEK. LTL to Smaller Self-Loop Alternating Automata and Back. Online. In Robert Mark Hierons, Mohamed Mosbah. Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 152-171. ISBN 978-3-030-32504-6. Available from: https://dx.doi.org/10.1007/978-3-030-32505-3_10.

   URL

   RIV/00216224:14330/19:00107795 Proceedings paper. English. Switzerland.
   Blahoudek, František (203 Czech Republic) -- Major, Juraj (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
   Keywords in English: LTL; linear temporal logic; automata; automata over infinite words; alternating automata; LTL to automata; ltl3tela
   Type of proceedings: pre-proceedings
   International impact: yes
   Reviewed: yes
   Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 00:00.

   More: https://is.muni.cz/publication/1580376/en
2. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata

   MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ and Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 357-365. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_21.

   URL

   RIV/00216224:14330/19:00107770 Proceedings paper. English. Switzerland.
   Major, Juraj (703 Slovakia, belonging to the institution) -- Blahoudek, František (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Jánošová, Miriama (703 Slovakia, belonging to the institution) -- Zbončáková, Tatiana (703 Slovakia, belonging to the institution)
   Keywords in English: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
   Type of proceedings: pre-proceedings
   International impact: yes
   Reviewed: yes
   Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 00:04.

   More: https://is.muni.cz/publication/1577339/en