— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borz...
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
We analyze in this paper controllability aspects for a 4-dimensional quantum system. The "strong regularity" (cf. [1]) has been proven to be sufficient condition for glob...
Mohamed Belhadj, Andreea Grigoriu, Gabriel Turinic...
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...