24th ACM International Conference on Hybrid Systems Computation and Control (HSCC) Conference

Publications

related documents

OmegaThreads: Symbolic Controller Design for omega-regular Objectives Conference Proceeding
Poster Abstract: OmegaThreads: Symbolic Controller Design for omega-regular Objectives Conference Proceeding
Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach Conference Proceeding
Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach Conference Proceeding
Strategy Synthesis for Partially-known Switched Stochastic Systems Conference Proceeding