Automata@FIT

Projects

  • 2023

    ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running
    Research leader: Lengál Ondřej
    Team leaders: Andriushchenko Roman, Češka Milan, Dacík Tomáš, Havlena Vojtěch, Chocholatý David, Lengál Ondřej, Malásková Věra, Michal Bohumil, Mrazíková Libuše, Pirová Zuzana, Rogalewicz Adam, Šedý Michal, Vašíček Ondřej
    Detail

    VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running
    Research leader: Češka Milan
    Team leaders: Andriushchenko Roman, Češka Milan, Gaďorek Petr, Macák Filip, Malásková Věra, Mrázek Vojtěch, Paulíková Barbora, Štanclová Eva
    Detail

  • 2020

    Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running
    Research leader: Holík Lukáš
    Team leaders: Blahoudek František, Češka Milan, Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Holíková Lenka, Homoliak Ivan, Horký Michal, Hošták Viliam Samuel, Hruška Martin, Jawed Soyiba, Kesiraju Michaela, Křivka Zbyněk, Lengál Ondřej, Macák Filip, Martiček Štefan, Meduna Alexander, Rogalewicz Adam, Síč Juraj, Slezáková Alexandra, Smrčka Aleš, Šedý Michal, Šoková Veronika, Toth Vaňo Pavol, Vojnar Tomáš
    Detail

Back to top