Languages and models for hybrid automata: A coalgebraic perspective

Renato Neves, Luís Soares Barbosa. Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744:113-142, 2018. [doi]

Abstract

Abstract is missing.