Tuning Permissiveness of Active Safety Monitors for Autonomous Systems

No abstract is available for this paper.

• Publication year

  2018

• Venue

  NASA Formal Methods

• Publication date

  2018-04-17

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-77935-5_23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• and s

  2019cited by this paper
• Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot

  2017cited by this paper
• Hazard analysis of human-robot interactions with HAZOP-UML

  2016cited by this paper
• Rule-based Dynamic Safety Monitoring for Mobile Robots

  2016cited by this paper
• SMOF - A Safety MOnitoring Framework for Autonomous Systems

  2016influential reference
• SAPHARI – Safe and Autonomous Physical Human-Aware Robot Interaction

  2016cited by this paper
• Inferring and monitoring invariants in robotic systems

  2016cited by this paper
• ROSRV: Runtime Verification for Robots

  2014cited by this paper
• Specifying Safety Monitors for Autonomous Systems Using Model-Checking

  2014cited by this paper
• Building safer robots: Safety driven control

  2012cited by this paper
• From Qualitative to Quantitative Enforcement of Security Policy

  2012cited by this paper
• What can you verify and enforce at runtime?

  2011cited by this paper
• Towards the Robotic Co-Worker

  2009cited by this paper
• A brief account of runtime verification

  2009cited by this paper
• Edit automata: enforcement mechanisms for run-time security policies

  2005cited by this paper
• The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System

  2004cited by this paper
• Basic concepts and taxonomy of dependable and secure computing

  2004cited by this paper
• Safe and Sound: Artificial Intelligence in Hazardous Applications

  2000cited by this paper
• IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-0209-1203 1 A Taxonomy and Catalog of Runtime Software- Fault Monitoring Tools

  year unknowncited by this paper

• The Road to Safe Automated Driving Systems: A Review of Methods Providing Safety Evidence

  2025cites this paper
• Reflex-Plan: A Safety Monitoring Architecture for Thinking Fast and Slow

  2025cites this paper
• Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems

  2023cites this paper
• Towards Safe Robotic Agricultural Applications: Safe Navigation System Design for a Robotic Grass-Mowing Application through the Risk Management Method

  2023cites this paper
• An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

  2022cites this paper
• Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

  2020cites this paper
• SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

  2020cites this paper
• Modular and Safe Event-Driven Programming

  2019cites this paper
• Architecting Dependable Learning-enabled Autonomous Systems: A Survey

  2019cites this paper
• SOTER: Programming Safe Robotics System using Runtime Assurance

  2018cites this paper
• SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

  2018cites this paper