Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Šmahlíková, Barbora
13  Ergebnisse:
Personensuche X
?
1

Modular Mix-and-Match Complementation of Büchi Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong.. - p. 249-270 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Complementing Büchi Automata with Ranker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 188-201 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Auto..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 118-136 , 2022
Link: https://doi.org/10.1007/..
 
?
4

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

, In: Networked Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 215-222 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Modular Mix-and-Match Complementation of B\"{u}chi Automata..:

Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong..
http://arxiv.org/abs/2301.01890.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Artifact for the TACAS'23 paper "Modular Mix-and-Match Comp..:

Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong..
doi:10.5281/zenodo.7505210.  , 2023
Link: https://zenodo.org/recor..
 
?
7

Complementing B\"uchi Automata with Ranker (Technical Repor..:

Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora
http://arxiv.org/abs/2206.01946.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Auto..:

Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora
http://arxiv.org/abs/2110.10187.  , 2021
Link: http://arxiv.org/abs/211..
 
?
9

Artifact for the TACAS'23 paper "Modular Mix-and-Match Comp..:

Vojtěch Havlena ; Ondřej Lengál ; Yong Li..
doi:10.5281/zenodo.7505210.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Artifact for the CAV'22 submission "Complementing Büchi Aut..:

Vojtěch Havlena ; Ondřej Lengál ; Barbora Šmahlíková
doi:10.5281/zenodo.6524909.  , 2022
Link: https://zenodo.org/recor..
 
?
11

Artifact for the CAV'22 paper "Complementing Büchi Automata..:

Vojtěch Havlena ; Ondřej Lengál ; Barbora Šmahlíková
doi:10.5281/zenodo.6525219.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Artifact for the CAV'22 submission "Complementing Büchi Aut..:

Vojtěch Havlena ; Ondřej Lengál ; Barbora Šmahlíková
doi:10.5281/zenodo.6524909.  , 2022
Link: https://zenodo.org/recor..
 
?
13

Artifact for the CAV'22 paper "Complementing Büchi Automata..:

Vojtěch Havlena ; Ondřej Lengál ; Barbora Šmahlíková
doi:10.5281/zenodo.6524909.  , 2022
Link: https://zenodo.org/recor..
 
1-13