TY  - RPRT
TI  - Saturation: An efficient iteration strategy for symbolic state-space generation
AU  - Ciardo, Gianfranco
AU  - Luettgen, Gerald
AU  - Siminiceanu, Radu
AU  - Bushnell, Dennis M.
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20010022506
ID  - 20010022506
ER  -