Detail publikace

Deciding S1S: Down the Rabbit Hole and Through the Looking Glass

HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In: Proceedings of NETYS'21. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 215-222. ISSN 0302-9743.
Název česky
Rozhodování S1S: Do zaječí díry a skrz zrcadlo
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Šmahlíková Barbora, Ing. (FIT VUT)
Abstrakt

Tento článek ukazuje aplikaci nových metod pro práci s Büchiho automaty, hlavně jejich redukci a komplementaci, na rozhodování logiky S1S.

Rok
2021
Strany
215-222
Časopis
Lecture Notes in Computer Science, č. 12754, ISSN 0302-9743
Sborník
Proceedings of NETYS'21
Řada
Lecture notes in Computer Science
Konference
International Conference on Networked Systems 2021, Virtual Conference, DE
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-030-91014-3_15
UT WoS
000891773700015
EID Scopus
2-s2.0-85121868746
BibTeX 
@INPROCEEDINGS{FITPUB12508,
   author = "Vojt\v{e}ch Havlena and Ond\v{r}ej Leng\'{a}l and Barbora \v{S}mahl\'{i}kov\'{a}",
   title = "Deciding S1S: Down the Rabbit Hole and Through the Looking Glass",
   pages = "215--222",
   booktitle = "Proceedings of NETYS'21",
   series = "Lecture notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   number = 12754,
   year = 2021,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-91014-3\_15",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12508"
}
Nahoru