2 papers
cs.LO2026
Structural Analysis of Hybrid-Trace Nets: An Optimization Approach
Nguyen Cong Nhat Le, Claire N. Bonial, John G. Rogers +1
Fault and error detection is crucial for ensuring the correctness of safety-critical systems. Safety verification often addresses reachability of bad system states, where exhaustiv…
cs.AI2026
Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial +1
Plans often change due to changes in the situation or our understanding of the situation. Sometimes, a feasible plan may not even exist, and identifying such infeasibilities is use…