While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
Sarjoun Skaff, Alfred A. Rizzi, Howie Choset, Pei-...
To build autonomous robots able to live and interact with humans in a real-world dynamic and uncertain environment, the design of architectures permitting robots to develop attachm...
This paper explores an application of support vector regression (SVR) to model predictive control (MPC). SVR is employed to identify a dynamic system from input-output data, and t...
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
Alessandro Di Cara, Abhishek Garg, Giovanni De Mic...