• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 2024
• 
  Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati:
  Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. ICCPS 2024: 12-22
• 
  Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey, Ashish R. Hota:
  Adaptive Protection of Power Grids against Stealthy Load Alterations. ICCPS 2024: 285-286
• 
  Maria A. Cardei, Afsaneh Doryab:
  Multi-Agent System for Optimizing Victim Tagging in Human/Autonomous Responder Teams. ICCPS 2024: 277-278
• 
  Guangyao Chen, Zhihao Jiang:
  Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems. ICCPS 2024: 273-274
• 
  Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang:
  Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation. ICCPS 2024: 275-276
• 
  Xiaohan Fu, Yihao Liu, Jason Koh, Dezhi Hong, Rajesh Gupta, Gabe Fierro:
  Playground: A Safe Building Operating System. ICCPS 2024: 111-122
• 
  Xiaohan Fu, Yihao Liu, Jason Koh, Dezhi Hong, Rajesh Gupta, Gabe Fierro:
  Demo Abstract: Playground, A Safe Building Operating System. ICCPS 2024: 271-272
• 
  Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty:
  Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS 2024: 99-110
• 
  Hao-Lun Hsu, Qitong Gao, Miroslav Pajic:
  ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS 2024: 224-234
• 
  Aakriti Jain, Prashant P. Modekurthy, Abusayeed Saifullah:
  Control over Low-Power Wide-Area Networks. ICCPS 2024: 192-201
• 
  Shixiong Jiang, Mengyu Liu, Fanxin Kong:
  Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems. ICCPS 2024: 77-86
• 
  Ipsita Koley, Sunandan Adhikary, Soumyajit Dey:
  Thinking Beyond Bus-off: Targeted Control Falsification in CAN. ICCPS 2024: 33-44
• 
  Tushar Dilip Kurne, Manas Sashank Juvvi, Vaishnavi J, Pushpak Jagtap:
  Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. ICCPS 2024: 283-284
• 
  JiHyun Kwon, BaekGyu Kim, Yi-Ying Chen, Chung-Wei Lin:
  Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service. ICCPS 2024: 281-282
• 
  Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
  Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11
• 
  Cailani Lemieux Mack, Kevin Leach, Kevin Angstadt:
  Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles. ICCPS 2024: 135-146
• 
  Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra:
  Optimal Runtime Assurance via Reinforcement Learning. ICCPS 2024: 67-76
• 
  Do Van Minh, Meiqing Wu, Siew-Kei Lam, Thambipillai Srikanthan:
  Achieving Real-time Visual Tracking with Low-Cost Edge AI. ICCPS 2024: 279-280
• 
  Vineet Jagadeesan Nair, Priyank Srivastava, Anuradha Annaswamy:
  Enhancing power grid resilience to cyber-physical attacks using distributed retail electricity markets. ICCPS 2024: 55-66
• 
  Matthew Walter Nice, George Gunter, Junyi Ji, Yuhang Zhang, Matthew R. Bunting, William Barbour, Jonathan Sprinkle, Daniel B. Work:
  A Middle Way to Traffic Enlightenment. ICCPS 2024: 147-156
• 
  Ayanfeoluwa Oluyomi, Sahar Abedzadeh, Shameek Bhattacharjee, Sajal K. Das:
  Unsafe Events Detection in Smart Water Meter Infrastructure via Noise-Resilient Learning. ICCPS 2024: 259-270
• 
  Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
  Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223
• 
  Giulio Rossolini, Alessandro Biondi, Giorgio C. Buttazzo:
  Attention-Based Real-Time Defenses for Physical Adversarial Attacks in Vision Applications. ICCPS 2024: 23-32
• 
  Rohit Singh, Indranil Saha:
  An Online Planning Framework for Multi-Robot Systems with LTL Specification. ICCPS 2024: 180-191
• 
  Soham Sinha, Shekhar Dwivedi, Mahdi Azizian:
  Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan. ICCPS 2024: 235-246
• 
  Jose Paolo Talusan, Chaeeun Han, Ayan Mukhopadhyay, Aron Laszka, Daniel Freudberg, Abhishek Dubey:
  An Online Approach to Solving Public Transit Stationing and Dispatch Problem. ICCPS 2024: 157-168
• 
  Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry:
  Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. ICCPS 2024: 45-54
• 
  Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan:
  Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. ICCPS 2024: 123-134
• 
  Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty:
  Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS 2024: 289-290
• 
  Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, Fanxin Kong:
  Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems. ICCPS 2024: 287-288

skipping 5 more matches