Approximately Bisimilar Symbolic Models for Digital Control Systems

Majumdar, Rupak and Zamani, Majid
(2012) Approximately Bisimilar Symbolic Models for Digital Control Systems.
In: Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012).
Conference: CAV Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item