1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…
Map Prediction and Generative Entropy for Multi-Agent Exploration
Alexander Spinos, Bradley Woosley, Justin Rokisky +3
Traditionally, autonomous reconnaissance applications have acted on explicit sets of historical observations. Aided by recent breakthroughs in generative technologies, this work en…
Exposure Conscious Path Planning for Equal Exposure Corridors
Eugene T. Hamzezadeh, John G. Rogers, Neil T. Dantam +1
While maximizing line-of-sight coverage of specific regions or agents in the environment is a well-explored path planning objective, the converse problem of minimizing exposure to…