A novel parsing-based approach for verification of hierarchical plans R Barták, S Ondrčková, A Maillard, G Behnke, P Bercher 2020 IEEE 32nd International Conference on Tools with Artificial …, 2020 | 12 | 2020 |
On the verification of totally-ordered HTN plans R Barták, S Ondrčková, G Behnke, P Bercher 2021 IEEE 33rd International Conference on Tools with Artificial …, 2021 | 10 | 2021 |
Correcting hierarchical plans by action deletion R Barták, S Ondrčková, G Behnke, P Bercher Proceedings of the International Conference on Principles of Knowledge …, 2021 | 10 | 2021 |
Parsing-based Approaches for Verification and Recognition of Hierarchical Plans R Barták, A Maillard, RC Cardoso | 5 | 2019 |
On total-order HTN plan verification with method preconditions–an extension of the CYK parsing algorithm S Lin, G Behnke, S Ondrčková, R Barták, P Bercher Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 12041 …, 2023 | 4 | 2023 |
On heuristics for parsing-based verification of hierarchical plans with a goal task S Ondrčková, R Barták, P Bercher, G Behnke The International FLAIRS Conference Proceedings 35, 2022 | 3 | 2022 |
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint K Pantůčková, S Ondrčková, R Barták The International FLAIRS Conference Proceedings 36, 2023 | 1 | 2023 |
On the Impact of Grounding on HTN Plan Verification via Parsing. S Ondrcková, R Barták, P Bercher, G Behnke ICAART (3), 92-99, 2023 | 1 | 2023 |
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods S Ondrčková, R Barták 2023 IEEE 35th International Conference on Tools with Artificial …, 2023 | | 2023 |
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans S Ondrčková, R Barták, P Bercher, G Behnke The International FLAIRS Conference Proceedings 36, 2023 | | 2023 |
Fourth ICAPS Workshop on Hierarchical Planning (HPlan) D Höller, J Wichlacz, P Bercher, G Behnke, S Lin, D Chen, H Zhang, ... Workshop: Friday, 2021 | | 2021 |
Correcting Hierarchical Plans by Action Deletion P Bercher, R Bartak, S Ondrckova, G Behnke International Joint Conferences on Artificial Intelligence (IJCAI), 2021 | | 2021 |
Validation and Recognition of Hierarchical Plans S Ondrčková Univerzita Karlova, Matematicko-fyzikální fakulta, 2020 | | 2020 |
Destroy The Castle: 3D hra inspirovaná hrou Magic Carpet S Ondrčková Univerzita Karlova, Matematicko-fyzikální fakulta, 2017 | | 2017 |