On multi-agent hybrid system verification: Modeling in verse, star sets, and user studies
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-02-04 without embargo terms
Verification, Reachability, Hybrid Systems
University of Illinois - Urbana-Champaign
Networked Digital Library of Theses and Dissertations
University of Illinois at Urbana-Champaign