This paper deals with formal controller synthesis for discrete-time dynamical systems. We consider a specification provided under the form of a discrete-time hybrid automaton with external inputs, which can represent, for instance, ...

This paper presents a novel revision of the framework of Hybrid Probabilistic Logic Programming, along with a complete semantics characterization, to enable the encoding of and reasoning about real-world applications. The language of Hybrid ...

We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL with timing constraints on modalities, and recently, its model-checking has been ...