The document was issued by academy or academy organization.
file
The project team includes Andre' Platzer who is an assistant professor in the computer science department at Carnegie Mellon University. He is an expert in verification and analysis of hybrid, distributed, and stochastic dynamic systems, including cyber-physical systems. The team further includes Erik P. Zawdzki, who is a fourth year graduate student in the computer science department at Carnegie Mellon University and is developing reasoning techniques for first-order MILPs and fast propositional solvers for probabilistic model counting.
file
Authors: Po Wu and Panos J. Antsaklis
19th Mediterranean Conference on Control and Automation
Abstract:
