Claire N. Bonial

DEVCOM Army Research Laboratory

Papers on Lattice

Total citations

Topics

Research focus

Robotics & Embodied AI (1)World Models & Planning (1)

Frequent co-authors

Nguyen Cong Nhat Le (1)John G. Rogers (1)Neil T. Dantam (1)

Papers (1)

Feb 25, 2026

Colorado School of MinesFeb 25, 2026·also ARL

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning

Uncover hidden planning roadblocks faster: a Petri net relaxation approach detects infeasibilities twice as effectively, guiding requirement adjustments when feasible plans are impossible.

Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial +1

Robotics & Embodied AI World Models & Planning

Claire N. Bonial

Research focus

Frequent co-authors

Papers (1)

Search

Claire N. Bonial

Research focus

Frequent co-authors

Papers (1)