This paper reviews the first challenge on single image super-resolution (restoration of rich
details in an low resolution image) with focus on proposed solutions and results. A new …

Smartphones and tablets with rich graphical user interfaces (GUI) are becoming increasingly
popular. Hundreds of thousands of specialized applications, called apps, are available for …

Key establishment in sensor networks is a challenging problem because asymmetric key
cryptosystems are unsuitable for use in resource constrained sensor nodes, and also …

We combine model learning and model checking in a challenging case study involving
Linux, Windows and FreeBSD implementations of TCP. We use model learning to infer …

This paper presents a learning-based approach to detecting failures in reactive systems.
The technique is based on inferring models of multiple implementations of a common …

With the gradual perfection of Highly Automated Vehicles (HAVs), it is obligatory to assess
their safety performance in simulation that mirrors the real-world driving environment …

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 …

We present an overview of the paradigm of learning-based testing (LBT) for software
systems. LBT is a fully automated method for specification-based black-box testing using …

We present a survey of the recent research efforts in integrating model learning with model-
based testing. We distinguished two strands of work in this domain, namely test-based …

A fundamental requirement of the supervisory control theory (SCT) of discrete-event systems
is a finite automaton model of the plant. The requirement does not hold for black-box …