Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Conference

Publications

related documents

k-Inductive Barrier Certificates for Stochastic Systems Conference Proceeding
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. Conference Proceeding
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations Conference Proceeding
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. Conference Proceeding