Last week was the 6th International Workshop on Formal Methods for Autonomous Systems held in Manchester. The proceedings are out so you can read the 14 papers from #FMAS2024, each using Formal Methods to tackle the challenges of Autonomous Systems!

RT @ICSEconf: As we prepare for #icse2025 in Ottawa, the #icse2026 team is excited to announce that the call for papers for Cycle 1 is open…

If you're stomping off to other platforms, remember that we also have an account on Mastodon too. Come and follow us for all our toots, on the ACM server:

RT @jff: 🚀 Our @ICSEconf paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜…

RT @faacs_ws: ⏰ Last 2 Days to Go 🔔Submit by Dec 20, 2024!🚀 #CFP 9th International #Workshop on #Formal Approaches for Advanced Computing…

New paper "Formalizing Stateful Behavior Trees" by Serena S. Serbinowska, Preston Robinette, Gabor Karsai, and Taylor T. Johnson #FMAS2024

New paper "Open Challenges in the Formal Verification of Autonomous Driving" by Paolo Burgio, @Peppia42, and Marco Villani #FMAS2024

New Paper "Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report" by Syed Ali Asadullah Bukhari, @thomasflinkow, Medet Inkarbekov, @BAPearlmutter, and @DrRMonahan #FMAS2024

RT @FmasWorkshop: New paper "Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study" by Till Schnittka,…

New paper "Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!" by Rong Gu #FMAS2024

New paper "Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems" by Jan Gruteser, Jan Roßbach, @fabianvu98, and @michaleuschel #FMAS2024

New paper "Cross–layer Formal Verification of Robotic Systems" by Sylvain Raïs, Julien Brunel, David Doose, and Frédéric Herbreteau #FMAS2024

New paper "A Case Study on Numerical Analysis of a Path Computation Algorithm" by Grégoire Boussu, Nikolai Kosmatov, and Franck Védrine #FMAS2024

New paper "Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study" by Till Schnittka, and Mario Gleirscher #FMAS2024

New paper "Model Checking and Verification of Synchronisation Properties of Cobot Welding" by Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, and Ana Cavalcanti #FMAS2024

New paper "RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?" ba Andrea Gatti, Viviana Mascardi, and @Peppia42 #FMAS2024

If you're stomping off to other platforms, remember that we also have an account on Mastodon too. Come and follow us for all our toots, on the ACM server:

RT @ABZ_Conference: 🚗 The #ABZ2025 case study is online! It is about a safety controller for autonomous driving on a highway. Check out the…

Hey, want the 411 on the research presented at #FMAS2024? Well it's all here, in EPTCS volume 411! 😉 Proceeds this way for our proceedings: