Synthesis-based resolution of feature interactions in cyber-physical systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Dec 21, 2020
- Source ID
- 10.1145/3324884.3416630
Entities
People
- Benjamin Gafford
- Eunsuk Kang
- Gabriel A. Moreno
- Tobias Dürschmid
Organizations
- Carnegie Mellon University
- United States Department of Defense