Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions.

Max Taylor, Arthur Amorim

Browse the full DSN paper archive.