Reinforcement learning for intelligent healthcare systems: A review of challenges, applications, and open research issues
The rise of chronic disease patients and the pandemic pose immediate threats to healthcare
expenditure and mortality rates. This calls for transforming healthcare systems away from …
expenditure and mortality rates. This calls for transforming healthcare systems away from …
Reinforcement learning for intelligent healthcare systems: A comprehensive survey
The rapid increase in the percentage of chronic disease patients along with the recent
pandemic pose immediate threats on healthcare expenditure and elevate causes of death …
pandemic pose immediate threats on healthcare expenditure and elevate causes of death …
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …
systems with the advantage of scalability and feasibility in practice than exhaustive …
Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial ADAS and simulink models
Context: Surrogate-assisted search-based testing (SA-SBT) aims to reduce the
computational time for testing compute-intensive systems. Surrogates enhance testing …
computational time for testing compute-intensive systems. Surrogates enhance testing …
Learning safe control for multi-robot systems: Methods, verification, and open challenges
In this survey, we review the recent advances in control design methods for robotic multi-
agent systems (MAS), focusing on learning-based methods with safety considerations. We …
agent systems (MAS), focusing on learning-based methods with safety considerations. We …
[PDF][PDF] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
This report presents the results from the 2021 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (eg,
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
Using knowledge graphs and reinforcement learning for malware analysis
Machine learning algorithms used to detect attacks are limited by the fact that they cannot
incorporate the back-ground knowledge that an analyst has. This limits their suitability in …
incorporate the back-ground knowledge that an analyst has. This limits their suitability in …
Mdpfuzz: testing models solving markov decision processes
The Markov decision process (MDP) provides a mathematical frame-work for modeling
sequential decision-making problems, many of which are crucial to security and safety, such …
sequential decision-making problems, many of which are crucial to security and safety, such …
[PDF][PDF] Arch-comp 2022 category report: Falsification with ubounded resources
This report presents the results from the 2022 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …