Search
Now showing items 1-1 of 1
Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation
(2018-05-24)
With the rise of autonomous systems, there is a need for them to have high levels of robustness and safety. This robustness can be achieved through systems that are self-repairing. Underlying this is the ability to diagnose ...