Predicate abstraction
相关论文数: 6
顶级研究者
最高引用论文
Learning higher-order logic programs through abstraction and invention
Andrew Cropper, Stephen Muggleton
引用数: 41 • 2016
Predicate Invention for Bilevel Planning
Tom Silver, Rohan Chitnis, Nishanth Kumar, Willie McClinton, Tomás Lozano‐Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum
引用数: 15 • 2023
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
引用数: 7 • 2003
Abstraction for model checking robot behaviour
Ryan Fraser Kirwan, Alice Miller
引用数: 3 • 2011
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions
Wil Thomason, Hadas Kress‐Gazit
引用数: 2 • 2023
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions
Wil Thomason, Hadas Kress‐Gazit
引用数: 2 • 2021