Automata@FIT
Projekty
-
2023
ROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení
Řešitel: Lengál Ondřej
Spoluřešitelé: 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
DetailVESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR - Standardní projekty, GA23-06963S, 2023-2025, řešení
Řešitel: Češka Milan
Spoluřešitelé: 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
Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení
Řešitel: Holík Lukáš
Spoluřešitelé: 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