Review
Open access
Jul 2026
The Symbiosis of Formal Methods and Artificial Intelligence
This paper demonstrates an AI-assisted search process to aid in literature surveys within a fast-moving research area, and assesses the usefulness and validity of these results.
Jonathan P. Bowen, Sin-Hao Chen
· Applied Sciences · 0 citations