2 papers
eess.SY2026
Efficient Planning in Large-scale Systems Using Hierarchical Finite State Machines
Elis Stefansson, Karl H. Johansson
We consider optimal planning in a large-scale system formalised as a hierarchical finite state machine (HFSM). A planning algorithm is proposed computing an optimal plan between an…
cs.DS2026
Faster shortest-path algorithms using the acyclic-connected tree
Elis Stefansson, Oliver Biggar, Karl H. Johansson
We provide a method to obtain beyond-worst-case time complexity for any single-source-shortest-path (SSSP) algorithm by exploiting modular structures in graphs. The key novelty is…