Pages that link to "Item:Q6202072"
From MaRDI portal
The following pages link to Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Q6202072):
Displayed 30 items.
- Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes (Q6202073) (← links)
- An STL-based Approach to Resilient Control for Cyber-Physical Systems (Q6202074) (← links)
- Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic (Q6202077) (← links)
- Quantitative Verification for Neural Networks using ProbStars (Q6202079) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)
- Verification of Recurrent Neural Networks with Star Reachability (Q6202081) (← links)
- Safe Self-Triggered Control Based on Precomputed Reachability Sequences (Q6202082) (← links)
- Characterization of the ordering of path-complete stability certificates with addition-closed templates (Q6202083) (← links)
- Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications (Q6202085) (← links)
- Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models (Q6202087) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)
- Interval Markov Decision Processes with Continuous Action-Spaces (Q6202090) (← links)
- SySCoRe: Synthesis via Stochastic Coupling Relations (Q6202092) (← links)
- Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions (Q6202093) (← links)
- Stealthy attacks formalized as STL formulas for Falsification of CPS Security (Q6202097) (← links)
- Wordgen : a Timed word Generation Tool (Q6202098) (← links)
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes (Q6202100) (← links)
- Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis (Q6202102) (← links)
- BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (Q6202105) (← links)
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems (Q6202106) (← links)
- Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems (Q6202107) (← links)
- Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ (Q6202108) (← links)
- Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand (Q6202111) (← links)
- Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles (Q6202113) (← links)
- Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty (Q6202117) (← links)
- Poster: Convex Scenario Optimisation for ReLU Networks (Q6202118) (← links)
- Poster Abstract: Towards Seamless Reactivity of Hybrid Control (Q6202120) (← links)
- Poster Abstract: A Toolchain for Accelerated Symbolic Control (Q6202122) (← links)
- Poster Abstract: Permissiveness for Strategy Adaptation (Q6202124) (← links)
- Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator (Q6202126) (← links)