Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Miaomiao Wang 0002, Zhendong Sun	Safety-Critical Stabilizing Design of Switched Linear Autonomous Systems.	Unmanned Syst.	2024	DBLP DOI BibTeX RDF
13	Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, Pooja Singh	Reliability and Performance Evaluation of Safety-Critical Instrumentation and Control Systems of Nuclear Power Plant.	IEEE Trans. Reliab.	2024	DBLP DOI BibTeX RDF
13	Dara Molloy, Patrick Müller, Brian M. Deegan, Darragh Mullins, Jonathan Horgan, Enda Ward, Edward Jones, Alexander Braun, Martin Glavin	Analysis of the Impact of Lens Blur on Safety-Critical Automotive Object Detection.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar	Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	Christopher Aaron O'Hara, Takehisa Yairi	Graph-based meta-learning for context-aware sensor management in nonlinear safety-critical environments.	Adv. Robotics	2024	DBLP DOI BibTeX RDF
13	Yulin Li, Xindong Tang, Kai Chen, Chunxin Zheng, Haichao Liu, Jun Ma 0008	Geometry-Aware Safety-Critical Local Reactive Controller for Robot Navigation in Unknown and Cluttered Environments.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
13	Shuaiming Yan, Lei Shi 0012, Hao Zhang, Shaojie Yao, Yi Zhou 0004	Safety-Critical Model-Free Adaptive Iterative Learning Control for Multi-Agent Consensus Using Control Barrier Functions.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
13	Omais Shafi, Mohammad Khalid Pandit, Amarjeet Saini, Gayathri Ananthanarayanan, Rijurekha Sen	Repercussions of Using DNN Compilers on Edge GPUs for Real Time and Safety Critical Systems: A Quantitative Audit.	ACM J. Emerg. Technol. Comput. Syst.	2024	DBLP DOI BibTeX RDF
13	Peide Huang, Wenhao Ding, Jonathan Francis, Bingqing Chen, Ding Zhao	CaDRE: Controllable and Diverse Generation of Safety-Critical Driving Scenarios using Real-World Trajectories.	CoRR	2024	DBLP DOI BibTeX RDF
13	Chenyang Cao, Zichen Yan, Renhao Lu, Junbo Tan, Xueqian Wang 0001	Offline Goal-Conditioned Reinforcement Learning for Safety-Critical Tasks with Recovery Policy.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ran Wei, Simon Foster 0001, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly	ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.	CoRR	2024	DBLP DOI BibTeX RDF
13	Zihan Zhou, Jonathan Booher, Wei Liu, Aleksandr Petiushko, Animesh Garg	Multi-Constraint Safe RL with Objective Suppression for Safety-Critical Applications.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yu Zhang, Long Wen, Xiangtong Yao, Zhenshan Bing, Linghuan Kong, Wei He, Alois Knoll	Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models.	CoRR	2024	DBLP DOI BibTeX RDF
13	Max H. Cohen, Tamás G. Molnár, Aaron D. Ames	Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models.	CoRR	2024	DBLP DOI BibTeX RDF
13	Mohammad Aali, Jun Liu 0015	Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes.	CoRR	2024	DBLP DOI BibTeX RDF
13	Joseph Breeden, Luca Zaccarian, Dimitra Panagou	Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yu Zhang, Guangyao Tian, Long Wen, Xiangtong Yao, Liding Zhang, Zhenshan Bing, Wei He, Alois Knoll	Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments.	CoRR	2024	DBLP DOI BibTeX RDF
13	Xiang Yin, Bingzhao Gao, Xiao Yu	Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yueqi Xie, Minghong Fang, Renjie Pi, Neil Zhenqiang Gong	GradSafe: Detecting Unsafe Prompts for LLMs via Safety-Critical Gradient Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ruoxuan Bai, Jingxuan Yang, Weiduo Gong, Yi Zhang, Qiujing Lu, Shuo Feng 0002	Accurately Predicting Probabilities of Safety-Critical Rare Events for Intelligent Systems.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ehsan Sabouni, H. M. Sabbir Ahmad, Vittorio Giammarino, Christos G. Cassandras, Ioannis Ch. Paschalidis, Wenchao Li 0001	Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ying Shuai Quan, Jian Zhou, Erik Frisk, Chung Choo Chung	Observer-Based Environment Robust Control Barrier Functions for Safety-critical Control with Dynamic Obstacles.	CoRR	2024	DBLP DOI BibTeX RDF
13	Matheus F. Reis, A. Pedro Aguiar	On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control.	CoRR	2024	DBLP DOI BibTeX RDF
13	Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel	A Flow-based Credibility Metric for Safety-critical Pedestrian Detection.	CoRR	2024	DBLP DOI BibTeX RDF
13	Skylar X. Wei, Lu Gan, Joel W. Burdick	A Safety-Critical Framework for UGVs in Complex Environments: A Data-Driven Discrepancy-Aware Approach.	CoRR	2024	DBLP DOI BibTeX RDF
13	J. Kelly, S. Zafar, L. Heidemann, João-Vitor Zacchi, D. Espinoza, Núria Mata	Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ming Li, Zhiyong Sun, Patrick J. W. Koelewijn, Siep Weiland	A Tunable Universal Formula for Safety-Critical Control.	CoRR	2024	DBLP DOI BibTeX RDF
13	Lei Zheng, Rui Yang, Michael Yu Wang, Jun Ma	Barrier-Enhanced Homotopic Parallel Trajectory Optimization for Safety-Critical Autonomous Driving.	CoRR	2024	DBLP DOI BibTeX RDF
13	Wei-Jer Chang, Francesco Pittaluga, Masayoshi Tomizuka, Wei Zhan, Manmohan Chandraker	Controllable Safety-Critical Closed-loop Traffic Simulation via Guided Diffusion.	CoRR	2024	DBLP DOI BibTeX RDF
13	Shuo Liu, Yihui Mao	Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions.	CoRR	2024	DBLP DOI BibTeX RDF
13	Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli	What's my role? Modelling responsibility for AI-based safety-critical systems.	CoRR	2024	DBLP DOI BibTeX RDF
13	Romeo Valentin	Towards a Framework for Deep Learning Certification in Safety-Critical Applications Using Inherently Safe Design and Run-Time Error Detection.	CoRR	2024	DBLP DOI BibTeX RDF
13	Jon Pérez-Cerrolaza, Jaume Abella 0001, Markus Borg, Carlo Donzella, Jesús Cerquides, Francisco J. Cazorla, Cristofer Englund, Markus Tauber, George Nikolakopoulos, Jose Luis Flores 0001	Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey.	ACM Comput. Surv.	2024	DBLP DOI BibTeX RDF
13	Christian Moldovan, Silas Ulrich, Volker Köster, Janis Tiemann, Andreas Lewandowski	Advancing Digital Twin-Based Collision Avoidance: A Comprehensive Analysis of Communication Networks for Safety-Critical Applications in Industry 4.0.	Sensors	2024	DBLP DOI BibTeX RDF
13	Issam Alnader, Aboubaker Lasebae, Rand Raheem, Gerard Ekembe Ngondi	A Novel Bio-Inspired Bat Node Scheduling Algorithm for Dependable Safety-Critical Wireless Sensor Network Systems.	Sensors	2024	DBLP DOI BibTeX RDF
13	Guangwei Yang, Christie Ridgeway, Andrew Miller, Abhijit Sarkar	Comprehensive Assessment of Artificial Intelligence Tools for Driver Monitoring and Analyzing Safety Critical Events in Vehicles.	Sensors	2024	DBLP DOI BibTeX RDF
13	Yue Jiang, Zhouhua Peng, Lu Liu 0003, Dan Wang 0001, Fumin Zhang 0001	Safety-Critical Cooperative Target Enclosing Control of Autonomous Surface Vehicles Based on Finite-Time Fuzzy Predictors and Input-to-State Safe High-Order Control Barrier Functions.	IEEE Trans. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
13	Xiaoxu Diao, Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts	Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems.	Artif. Intell. Eng. Des. Anal. Manuf.	2024	DBLP DOI BibTeX RDF
13	Jyoti Shokhanda, Aman Kumar, Utkarsh Pal, Arani Bhattacharya, Soumi Chattopadhyay	Scheduling of Safety-Critical Tasks on Edge Devices via Reinforcement Learning.	COMSNETS	2024	DBLP DOI BibTeX RDF
13	Jiangtong Wang, Zheng Tian, Jun Yang, Shihua Li	Disturbance Observer Based Safety-Critical Model Predictive Control for Overhead Cranes.	AMC	2024	DBLP DOI BibTeX RDF
13	Rob Knoth	Solving the Physical Challenges for the Next Generation of Safety Critical & High Reliability Systems.	ISPD	2024	DBLP DOI BibTeX RDF
13	Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha Annaswamy	Accurate Parameter Estimation for Safety-Critical Systems with Unmodeled Dynamics (Abstract Reprint).	AAAI	2024	DBLP DOI BibTeX RDF
13	Vatistas Kostalabros, Jordi Ribes-González, Oriol Farràs, Miquel Moretó, Carles Hernández 0001	A Safety-Critical, RISC-V SoC Integrated and ASIC-Ready Classic McEliece Accelerator.	ARC	2024	DBLP DOI BibTeX RDF
13	Wenbin Gan, Minh-Son Dao, Koji Zettsu	Drive-CLIP: Cross-Modal Contrastive Safety-Critical Driving Scenario Representation Learning and Zero-Shot Driving Risk Analysis.	MMM (2)	2024	DBLP DOI BibTeX RDF
13	Sachiko Matsumoto, Laurel D. Riek	Telepresence Robots for Dynamic, Safety-Critical Environments.	HRI (Companion)	2024	DBLP DOI BibTeX RDF
13	Federico Califano	Passivity-Preserving Safety-Critical Control Using Control Barrier Functions.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Brooks A. Butler, Philip E. Paré	Optimal Safety-Critical Control of Epidemics.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Joseph Breeden, Dimitra Panagou	Safety-Critical Control for Systems With Impulsive Actuators and Dwell Time Constraints.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Anil Alan, Tamás G. Molnár, Ersin Das, Aaron D. Ames, Gábor Orosz	Disturbance Observers for Robust Safety-Critical Control With Control Barrier Functions.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Zhiyi Chen, Gábor Orosz, Jun Ni 0002	Control Barrier Functionals for Safety-Critical Control of Registration Accuracy in Roll-to-Roll Printing Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Julia Bräker, Anna Osterbrink, Martin Semmann, Manuel Wiesche	User-Centered Requirements for Augmented Reality as a Cognitive Assistant for Safety-Critical Services.	Bus. Inf. Syst. Eng.	2023	DBLP DOI BibTeX RDF
13	Taylor W. Killian, Sonali Parbhoo, Marzyeh Ghassemi	Risk Sensitive Dead-end Identification in Safety-Critical Offline Reinforcement Learning.	Trans. Mach. Learn. Res.	2023	DBLP BibTeX RDF
13	Zulqarnain H. Khattak, Jackeline Rios-Torres, Michael D. Fontaine, Asad J. Khattak	Inferring safety critical events from vehicle kinematics in naturalistic driving environment: Application of deep learning Algorithms.	J. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, Pooja Singh	Reliability and Performance Measurement of Safety-Critical Systems Based on Petri Nets: A Case Study of Nuclear Power Plant.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
13	Evelyn Weiss, Sébastien Guillaume, Alain Geiger, Roland Hohensinn, Heinz Wipf	Optimization of Safety Critical IFR Helicopter Trajectories in Alpine Areas Using MILP.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
13	Nishanth Rao, Suresh Sundaram 0002	Integrated Decision Control Approach for Cooperative Safety-Critical Payload Transport in a Cluttered Environment.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
13	Santiago Lozano, Tamara Lugo, Jesús Carretero 0001	A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Iraj Moghaddasi, Saeid Gorgin 0001, Jeong-A Lee	Dependable DNN Accelerator for Safety-Critical Systems: A Review on the Aging Perspective.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Rinu Ann Sebastian, Anu Maria Sebastian	Leveraging semantic similarity to mitigate the severity of misclassification for safety critical applications.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
13	Taotao Zhou, Laibin Zhang, Te Han, Enrique López Droguett, Ali Mosleh 0001, Felix T. S. Chan	An uncertainty-informed framework for trustworthy fault diagnosis in safety-critical applications.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
13	Min Zhang, Xiangbin Liu, Hongye Su	I&I adaptive fault-tolerant safe control of safety-critical systems.	J. Frankl. Inst.	2023	DBLP DOI BibTeX RDF
13	Yifan Jia 0002, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang 0004, Jun Sun 0001, Sudipta Chattopadhyay 0001	Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
13	Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel	F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.	J. Softw. Evol. Process.	2023	DBLP DOI BibTeX RDF
13	Claude Baron, Vincent Louis	Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems.	Comput. Ind.	2023	DBLP DOI BibTeX RDF
13	Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha M. Annaswamy	Accurate parameter estimation for safety-critical systems with unmodeled dynamics.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha M. Annaswamy	Corrigendum to "Accurate parameter estimation for safety-critical systems with unmodeled dynamics" [Artif. Intell. 316 (2023) 103857].	Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Wenhao Ding, Chejian Xu, Mansur Arief, Haohong Lin, Bo Li 0026, Ding Zhao	A Survey on Safety-Critical Driving Scenario Generation - A Methodological Perspective.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Haoji Liu, Weichao Zhuang, Guodong Yin, Zhaojian Li, Dongpu Cao	Safety-Critical and Flexible Cooperative On-Ramp Merging Control of Connected and Automated Vehicles in Mixed Traffic.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Wei Xiao 0003, Calin Belta, Christos G. Cassandras	Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
13	Si Wu, Tengfei Liu, Magnus Egerstedt, Zhong-Ping Jiang	Quadratic Programming for Continuous Control of Safety-Critical Multiagent Systems Under Uncertainty.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
13	Chunxiao Huang, Lijun Long	Safety-Critical Model Reference Adaptive Control of Switched Nonlinear Systems With Unsafe Subsystems: A State-Dependent Switching Approach.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
13	Alwyn E. Goodloe	Assuring Safety-Critical Machine Learning-Enabled Systems: Challenges and Promise.	Computer	2023	DBLP DOI BibTeX RDF
13	Axel Brando, Isabel Serra, Enrico Mezzetti, Francisco J. Cazorla, Jon Pérez-Cerrolaza, Jaume Abella 0001	On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems.	Computer	2023	DBLP DOI BibTeX RDF
13	Charles Meyers, Tommy Löfstedt, Erik Elmroth	Safety-critical computer vision: an empirical survey of adversarial evasion attacks and defenses on computer vision systems.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
13	Hamzeh Ahangari, Yusuf Ibrahim Ozkok, Asil Yildirim, Fatih Say, Funda Atik, Ozcan Ozturk 0001	Architecture for safety-critical transportation systems.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
13	Shengbo Wang, Shiping Wen 0001, Yin Yang 0001, Yuting Cao, Kaibo Shi, Tingwen Huang	Suboptimal Safety-Critical Control for Continuous Systems Using Prediction-Correction Online Optimization.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
13	Wentao Wu, Yibo Zhang, Weidong Zhang 0004, Wei Xie	Output-Feedback Finite-Time Safety-Critical Coordinated Control of Path-Guided Marine Surface Vehicles Based on Neurodynamic Optimization.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
13	Shengbo Wang, Bo Lyu, Shiping Wen 0001, Kaibo Shi, Song Zhu, Tingwen Huang	Robust Adaptive Safety-Critical Control for Unknown Systems With Finite-Time Elementwise Parameter Estimation.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
13	Yushen Wang, Tianwen Sun, Guang Yang, Kai Yang, Xuefei Song, Changling Zheng	Safety-Critical Task Offloading Heuristics for Workflow Applications in Mobile Edge Computing.	J. Circuits Syst. Comput.	2023	DBLP DOI BibTeX RDF
13	Tamás G. Molnár, Adam K. Kiss, Aaron D. Ames, Gábor Orosz	Safety-Critical Control With Input Delay in Dynamic Environment.	IEEE Trans. Control. Syst. Technol.	2023	DBLP DOI BibTeX RDF
13	Shakeel Ahamad, Ratneshwer Gupta	A reward-based performability modelling of a fault-tolerant safety-critical system.	Int. J. Syst. Assur. Eng. Manag.	2023	DBLP DOI BibTeX RDF
13	Artem Klashtorny, Zhuanhao Wu, Anirudh Mohan Kaushik, Hiren D. Patel	Predictable GPU Wavefront Splitting for Safety-Critical Systems.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
13	Yuhang Yang, Kalle Kujanpää, Amin Babadi, Joni Pajarinen, Alexander Ilin	Suicidal Pedestrian: Generation of Safety-Critical Scenarios for Autonomous Vehicles.	CoRR	2023	DBLP DOI BibTeX RDF
13	Huan Yu, Chenguang Zhao, Tamás G. Molnár	Safety-Critical Traffic Control by Connected Automated Vehicles.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jaemin Lee, Jeeseop Kim, Aaron D. Ames	A Data-driven Method for Safety-critical Control: Designing Control Barrier Functions from State Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yujie Wang, Xiangru Xu	Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach.	CoRR	2023	DBLP DOI BibTeX RDF
13	Fengqing Hu, Huan Yu	Safety-Critical Lane-Change Control for CAV Platoons in Mixed Autonomy Traffic Using Control Barrier Functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Pedram Rabiee, Jesse B. Hoagg	Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zheyu Yan, Xiaobo Sharon Hu, Yiyu Shi 0001	Compute-in-Memory based Neural Network Accelerators for Safety-Critical Systems: Worst-Case Scenarios and Protections.	CoRR	2023	DBLP DOI BibTeX RDF
13	Prithvi Akella, Aaron D. Ames	Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Aurora Haraldsen, Martin S. Wiig, Aaron D. Ames, Kristin Y. Pettersen	Safety-Critical Control of Nonholonomic Vehicles in Dynamic Environments using Velocity Obstacles.	CoRR	2023	DBLP DOI BibTeX RDF
13	Berkay Turan, Spencer Hutchinson, Mahnoosh Alizadeh	A Safe First-Order Method for Pricing-Based Resource Allocation in Safety-Critical Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Erica Weng, Kenta Mukoya, Deva Ramanan, Kris Kitani	Evaluating a VR System for Collecting Safety-Critical Vehicle-Pedestrian Interactions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Bai Xue	Reach-avoid Controllers Synthesis for Safety Critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Aditya Deshmukh, Zifei Wang, Aaron Gunn, Huizhong Guo, Rini Sherony, Fred Feng, Brian Lin, Shan Bao, Feng Zhou 0003	A systematic review of safety-critical scenarios between automated vehicles and vulnerable road users.	CoRR	2023	DBLP DOI BibTeX RDF
13	Max H. Cohen, Makai Mann, Kevin Leahy 0001, Calin Belta	Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.	CoRR	2023	DBLP DOI BibTeX RDF
13	Taylor W. Killian, Sonali Parbhoo, Marzyeh Ghassemi	Risk Sensitive Dead-end Identification in Safety-Critical Offline Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tita A. Bach, Jenny K. Kristiansen, Aleksandar Babic, Alon Jacovi	Unpacking Human-AI Interaction in Safety-Critical Industries: A Systematic Literature Review.	CoRR	2023	DBLP DOI BibTeX RDF
13	Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003, Jianjun Zhao 0001	AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Vishrut Bohara, Siavash Farzan	Adaptive Estimation-Based Safety-Critical Cruise Control of Vehicular Platoons.	CoRR	2023	DBLP DOI BibTeX RDF