Login / Signup

Approximate Simulation for Metric Hybrid Input/Output Automata.

Haiyu PanMin ZhangYixiang Chen
Published in: SSIRI (Companion) (2011)
Keyphrases