12 citations · 28 across the 12 of their papers we have counts for
1 paper · 2 filters
Eric M. S. P. Veith, Lars Fischer, Martin Tröschel +1
Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstr…