Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges
S Sharma, MABU Rahim, S Hussain… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
Deep Reinforcement Learning (DRL) is critical in modern Artificial Intelligence (AI), powering
innovations from gaming to autonomous vehicles. As DRL continues its rapid ascent …
innovations from gaming to autonomous vehicles. As DRL continues its rapid ascent …
Application of AI to formal methods--an analysis of current trends
S Stock, J Dunkelau, A Mashkoor - arXiv preprint arXiv:2411.14870, 2024 - arxiv.org
With artificial intelligence (AI) being well established within the daily lives of research
communities, we turn our gaze toward an application area that appears intuitively unsuited …
communities, we turn our gaze toward an application area that appears intuitively unsuited …
On the Formal Verification of Smart Contracts and Blockchain: Challenges and Future Directions
The introduction of blockchain technology and smart contracts has fundamentally
transformed multiple industries, offering improved security, transparency, and automation …
transformed multiple industries, offering improved security, transparency, and automation …