Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design
Year: 2003
Type: article
Authors: Meeko Oishi, Claire J. Tomlin, Asaf Degani
Institution: National Aeronautics and Space Administration
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W106802296