Vojtěch Havlena
From MaRDI portal
Person:2038089
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Simulations in rank-based Büchi automata complementation | 2024-04-19 | Paper |
| Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation | 2024-02-01 | Paper |
| Modular mix-and-match complementation of Büchi automata | 2023-12-13 | Paper |
| Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation | 2023-08-21 | Paper |
| Word equations in synergy with regular constraints Formal Methods | 2023-08-17 | Paper |
| Complementing Büchi Automata with Ranker | 2022-12-07 | Paper |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Journal of Automated Reasoning | 2021-11-24 | Paper |
| A symbolic algorithm for the case-split rule in string constraint solving | 2021-07-08 | Paper |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Lecture Notes in Computer Science | 2020-03-10 | Paper |
| A Note on One Less Known Class of Generated Residual Implications | 2016-12-15 | Paper |
Research outcomes over time
This page was built for person: Vojtěch Havlena
