Active automata learning is slowly becoming a standard tool in the toolbox of the software
engineer. As systems become ever more complex and development becomes more …

Abstract Model learning is a black-box technique for constructing state machine models of
software and hardware components, which has been successfully used in areas such as …

The complexity of humanoid robots is increasing with the availability of new sensors,
embedded CPUs, and actuators. This wealth of technologies allows researchers to …

A substantial effort is underway to make robots useful outside controlled environments and
without direct human supervision. In practice, this can happen only after a rigorous …

Network protocols have become deeply ingrained into our everyday lives. Each form of
internet communication involves a series of protocols, as do many of the applications we …

Robots are now part of our daily lives and their usefulness is, seemingly, never-ending. They
manufacture our goods, harvest our crops and drive us from place to place. Innovation in the …

Os robôs são agora parte do nosso quotidiano ea sua utilidade parece não ter limites.
Fabricam os nossos bens, colhem alimentos de plantações e conduzem-nos de um lugar …