Predicate abstraction

Related papers: 6

Top Researchers

Tomás Lozano‐Pérez

Institution: —

Hadas Kress‐Gazit

Institution: —

Leslie Pack Kaelbling

Institution: —

Stephen Muggleton

Institution: —

Rohan Chitnis

Institution: —

Joshua B. Tenenbaum

Institution: —

Tom Silver

Institution: —

Wil Thomason

Institution: —

Andrew Cropper

Institution: —

Natasha Sharygina

Institution: —

Top Cited Papers

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton

Citations: 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

Citations: 15 • 2023

Model Checking Software via Abstraction of Loop Transitions

Natasha Sharygina, James C. Browne

Citations: 7 • 2003

Abstraction for model checking robot behaviour

Ryan Fraser Kirwan, Alice Miller

Citations: 3 • 2011

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Wil Thomason, Hadas Kress‐Gazit

Citations: 2 • 2023

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Wil Thomason, Hadas Kress‐Gazit

Citations: 2 • 2021

Related Technologies

Artificial intelligenceComputer scienceMachine learningMathematicsRobotTheoretical computer scienceProgramming languageSoftwareSet (abstract data type)Representation (politics)