Formal synthesis of control strategies for positive monotone systems
Research article (OpenBU/Boston University Institutional Repository (Boston University), 2018) · cited 25× · AI/ML