conPAS

MaRDI QIDQ22905swMATHFDO

Official website http://sites.bu.edu/hyness/conpas2/

Cited in

(1)

• Time-constrained temporal logic control of multi-affine systems

This page was built for software: conPAS