ℹ️
🇬🇧
Search
Search for people relevant for "Near-Spherical"
Near-Spherical
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Simona Ondrčková
Academic staff at Faculty of Mathematics and Physics
9 publications
Publications
publication
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
2023 |
Faculty of Mathematics and Physics
publication
On the Impact of Grounding on HTN Plan Verification via Parsing
2023 |
Faculty of Mathematics and Physics
publication
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm
2023 |
Faculty of Mathematics and Physics
publication
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
2023 |
Faculty of Mathematics and Physics
publication
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods
2023 |
Faculty of Mathematics and Physics
publication
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
2022 |
Faculty of Mathematics and Physics
publication
Correcting Hierarchical Plans by Action Deletion
2021 |
Faculty of Mathematics and Physics
publication
On the Verification of Totally-Ordered HTN Plans
2021 |
Faculty of Mathematics and Physics
publication
A Novel Parsing-based Approach for Verification of Hierarchical Plans
2020 |
Faculty of Mathematics and Physics
Loading network view...