Browsing by Subject "belief revision and update"
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 ...