Steering Committee
Bruce Krogh (Electrial & Computer Engineering, Carnegie Mellon University)Stefan Mitsch (Computer Science Department, Carnegie Mellon University)
André Platzer (Computer Science Department, Carnegie Mellon University)
Scott Smolka (Department of Computer Science, SUNY at Stony Brook)
Funding Acknowledgment
The CPS V&V I&F workshop is funded by the NSF CAREER Award: Logical Foundations of Cyber-Physical Systems. |