Barbora Smahlíková

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Finite Automaton

Technical Report

Modular Neural Networks

Finite State Automaton

Top Venues

Publications

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). CoRR (2023)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata. TACAS (1) (2023)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Complementing Büchi Automata with Ranker (Technical Report). CoRR (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. TACAS (2) (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Complementing Büchi Automata with Ranker. CAV (2) (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report). CoRR (2021)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. NETYS (2021)