—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
Lars Blackmore, Masahiro Ono, Askar Bektassov, Bri...
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
A probabilistic system for recognition of individual objects is presented. The objects to recognize are composed of constellations of features, and features from a same object shar...
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...