cyber-physical system

Convergence of Vector Quantization–Based Classifiers to the Bayes Optimal Classifier with Applications to Hybrid System Identification L4DC 2026 Interpretable Adversarial Reinforcement Learning AAAI 2026 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025 Data-flow Availability: Achieving Timing Assurance in Autonomous Systems OSDI 2024 Penetrative AI: Making LLMs Comprehend the Physical World ACL 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 Securing Billion Bluetooth Devices Leveraging Learning-Based Techniques AAAI 2024 STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023 Delayed Propagation Transformer: A Universal Computation Engine towards Practical Control in Cyber-Physical Systems NeurIPS 2021 Exposing Cyber-Physical System Weaknesses by Implicitly Learning their Underlying Models ACML 2021 Spatiotemporally Constrained Action Space Attacks on Deep Reinforcement Learning Agents AAAI 2020 STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NeurIPS 2020 Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract) AAAI 2020 Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models AAAI 2019 Adversarial Regression for Detecting Attacks in Cyber-Physical Systems IJCAI 2018 Resilient Control and Safety for Multi-Agent Cyber-Physical Systems IJCAI 2017