Autonomous navigation for robot-assisted intraluminal and endovascular procedures: A systematic review
Increased demand for less invasive procedures has accelerated the adoption of Intraluminal
Procedures (IP) and Endovascular Interventions (EI) performed through body lumens and …
Procedures (IP) and Endovascular Interventions (EI) performed through body lumens and …
[PDF][PDF] Formally Explaining Neural Networks within Reactive Systems
Deep neural networks (DNNs) are increasingly being used as controllers in reactive
systems. However, DNNs are highly opaque, which renders it difficult to explain and justify …
systems. However, DNNs are highly opaque, which renders it difficult to explain and justify …
Analyzing Adversarial Inputs in Deep Reinforcement Learning
In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in
machine learning due to its successful applications to real-world and complex systems …
machine learning due to its successful applications to real-world and complex systems …
Scaling# DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing
L Marzari, G Roncolato, A Farinelli - arXiv preprint arXiv:2312.05890, 2023 - arxiv.org
Deep Neural Networks (DNNs) are powerful tools that have shown extraordinary results in
many scenarios, ranging from pattern recognition to complex robotic problems. However …
many scenarios, ranging from pattern recognition to complex robotic problems. However …