conftrace_

cyber-physical system

16 papers

Explore in graph

Also known as

CPS

Co-occurring keywords

formal verification (284) kolmogorov-arnold network (31) signal temporal logic (18) formal methods (79) anomaly detection (747) adversarial learning (1595) deep reinforcement learning (903) common sense knowledge (5) probabilistic model checking (12) sensor measurement (4)

Papers

Interpretable Adversarial Reinforcement Learning AAAI 2026
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems OSDI 2024
Penetrative AI: Making LLMs Comprehend the Physical World ACL 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 NIPS 2021
Exposing Cyber-Physical System Weaknesses by Implicitly Learning their Underlying Models ACML 2021
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NIPS 2020
Spatiotemporally Constrained Action Space Attacks on Deep Reinforcement Learning Agents AAAI 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