Výpis publikací

2017

1. Seminator: A Tool for Semi-Determinization of Omega-Automata

   BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017, s. 356-367. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/k5nl.

   URL

   RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
   Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
   Klíčová slova anglicky: semi deterministic automata; ltl to automata translation; omega automata
   Druh sborníku: postkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 9. 11. 2018 14:58.

   Podrobněji: https://is.muni.cz/publication/1380432/cs