Control of Cyber-Physical-Systems with logic specifications: A formal methods approach
収録刊行物
-
- Annual Reviews in Control
-
Annual Reviews in Control 47 178-192, 2019
Elsevier BV