related documents
- A data-driven approach to approximate opacity verification Conference Proceeding
- Abstraction-Based Synthesis of Controllers for Approximate Opacity Conference Proceeding
- Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models Conference Proceeding
- Online Learning of Effective Turbine Wind Speed in Wind Farms Conference Proceeding
- Towards Trustworthy AI: Sandboxing AI-based Unverified Controllers for Safe and Secure Cyber-Physical Systems Conference Proceeding
- Transfer Learning for Barrier Certificates Conference Proceeding