Vojtěch Havlena

Available identifiers

zbMath Open havlena.vojtechMaRDI QIDQ2038089

List of research outcomes

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	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	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	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