Login / Signup

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

Ilya TkachevAlexandru MereacreJoost-Pieter KatoenAlessandro Abate
Published in: HSCC (2013)
Keyphrases