"Yet Another Algorithm for the Computation of Polyhedral Positive Invariant ..."

Daniel Y. Rubin, Hoai-Nam Nguyen, Per-Olof Gutman (2018)

Details and statistics

DOI: 10.1109/CCTA.2018.8511433

access: closed

type: Conference or Workshop Paper

metadata version: 2019-01-01