In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

The use of wavefront-guided algorithms for treatment has increased over the past decade with estimates that up to 50 percent of all laser in situ keratomileusis (LASIK) procedures are now performed with this approach1. Although originally intended to correct higher order aberrations, the use of wavefront-guided algorithms, particularly those with iris-registration and tracking, have been shown ...

Nine-month-olds start to perform sequential actions. Yet, it remains largely unknown how they acquire and control such actions. We studied infants' sequential-action control by employing a novel gaze-contingent eye tracking paradigm. Infants experienced occulo-motor action sequences comprising two elementary actions. To contrast chaining, concurrent and integrated models of sequential-action co...

Safe deployment of autonomous robots in diverse scenarios requires agents that are capable efficiently adapting to new environments while satisfying constraints. In this article, we propose a practical and theoretically justified approach maintain safety the presence dynamics uncertainty. Our leverages Bayesian meta-learning with last-layer adaptation. The expressiveness neural-network features...

Despite continuous advances in computing technology, today’s brute force data processing approaches may not provide the necessary advantage to win the race against the ever-growing amount of data that can be witnessed over the last decades. In this thesis, we discuss novel methods and algorithms that are capable of directing attention to relevant details and analysing it in sequence to overcome...