Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
The voltage recorded over the cortex (ECoG) or over the scalp (EEG) is generated by currents derived from many sources called "generators". Different patterns and amplit...
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
Due to the unavoidable fact that a robot’s sensors will be limited in some manner, it is entirely possible that it can find itself unable to distinguish between differing state...