Akademický pracovník na Matematicko-fyzikální fakulta, Pedagogická fakulta
Studijní programy
Předměty
- Seminář z umělé inteligence 1NAIL004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence 2NAIL052 | Matematicko-fyzikální fakulta
- Umělá inteligence 1NAIL069 | Matematicko-fyzikální fakulta
- Umělá inteligence 2NAIL070 | Matematicko-fyzikální fakulta
- Plánování a rozvrhováníNAIL071 | Matematicko-fyzikální fakulta
- Úvod do umělé inteligence +1NAIL113 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence INAIX004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence IINAIX052 | Matematicko-fyzikální fakulta
- Umělá inteligence INAIX069 | Matematicko-fyzikální fakulta
- Programování s omezujícími podmínkami +1NOPT042 | Matematicko-fyzikální fakulta
Publikace
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Matematicko-fyzikální fakulta
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | Matematicko-fyzikální fakulta
- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Matematicko-fyzikální fakulta
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Matematicko-fyzikální fakulta
- Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?2023 | Matematicko-fyzikální fakulta
- Multi-Agent Pathfnding with Predefned Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]2023 | Matematicko-fyzikální fakulta
- On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task2022 | Matematicko-fyzikální fakulta
- Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling2022 | Matematicko-fyzikální fakulta
Loading network view...