AI-Planning / AI-Planning/macq
D-VAL (arXiv'21)
未關閉
enhancement
- 主要語言
- Python
- 星號
- 25
- 分支
- 6
- PR 合併指標
- 30 天內沒有已合併 PR
描述
## Notes
- Not really an action model acquisition technique
- Technique for aligning action theories (uses SMT and planner)
- Might be useful to try and match pre-existing typical action models
## References
- [ ] [D-VAL: An automatic functional equivalence validation tool for planning domain models](https://arxiv.org/abs/2104.14602)
貢獻指南
評估
這個 Issue 還沒有評估資料。