Formal Methods for Autonomous Systems
LightNews LightNews
banner
fmasworkshop.bsky.social
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
110 followers 250 following 160 posts
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Posts Replies Media Videos
fmasworkshop.bsky.social
New paper

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

https://buff.ly/4fNOTFg

#FMAS2024
December 3, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

"Open Challenges in the Formal Verification of Autonomous Driving"
by Paolo Burgio, Angelo Ferrando, and Marco Villani

https://buff.ly/4eIsJCQ

#FMAS2024
December 3, 2024 at 11:17 AM
fmasworkshop.bsky.social
New Paper

"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report"
by Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov, Barak A. Pearlmutter, and Rosemary Monahan

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2024.12

#FMAS2024
December 2, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

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

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2024.11

#FMAS2024
December 2, 2024 at 11:17 AM
fmasworkshop.bsky.social
New paper

"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems"
by Jan Gruteser, Jan Roßbach, Fabian Vu, and Michael Leuschel

https://buff.ly/3AY3Sgr

#FMAS2024
November 29, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

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

https://buff.ly/412B7K3

#FMAS2024
November 29, 2024 at 11:17 AM
fmasworkshop.bsky.social
New paper

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

https://buff.ly/3CGaMYh

#FMAS2024
November 28, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

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

https://buff.ly/4fABujA

#FMAS2024
November 28, 2024 at 11:17 AM
fmasworkshop.bsky.social
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

https://buff.ly/4fGfDXU

#FMAS2024
November 27, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

"RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?"
ba Andrea Gatti, Viviana Mascardi, and Angelo Ferrando

https://buff.ly/3CHt0su

#FMAS2024
November 27, 2024 at 11:17 AM
fmasworkshop.bsky.social
New paper

"Verification of Behavior Trees with Contingency Monitors"
by Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin, and Taylor T. Johnson

https://buff.ly/4eM6Y5c

#FMAS2024
November 26, 2024 at 3:11 PM
fmasworkshop.bsky.social
New paper

"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics"
by Maryam Ghaffari Saadat, Angelo Ferrando, @louiseadennis.bsky.social, and Michael Fisher

https://buff.ly/3ASZ8c4

#FMAS2024
November 26, 2024 at 11:17 AM
fmasworkshop.bsky.social
New paper

"Formal Simulation and Visualisation of Hybrid Programs"
by Pedro Mendes, Ricardo Correia, Renato Neves, and José Proença

https://buff.ly/3CFLj1j

#FMAS2024
November 25, 2024 at 3:11 PM
fmasworkshop.bsky.social
New Paper

"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B"
by Richard Banach

https://buff.ly/3V44p7v

#FMAS2024
November 25, 2024 at 11:17 AM
fmasworkshop.bsky.social
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!
http://dx.doi.org/10.4204/EPTCS.411
The front of the Core Technology Facility, in Manchester. A brick, metal, and glass facade. The sun is shining weakly. A group of people, all attending the FMAS workshop. Everyone is looking at the camera, some smiling. But everyone looks like they had a nice time, at least. The front of the Whitworh Gallery in Manchester, a red-brick Victorian building, with a semi-circular portico as its main entrace. There are some leaves on the floor; it is Autum and the trees have turned almost as red as the building's bricks, slowly fluttering to the floor.
November 22, 2024 at 11:02 AM
fmasworkshop.bsky.social
One last job to do.

Our PC chair this year, Mengwei Xu, gives the closing remarks as #FMAS2024 finishes and we hand over to #iFM24
Mengwei gives the FMAS closing remarks, slides projected on a large screen.
November 13, 2024 at 12:30 PM
fmasworkshop.bsky.social
The final paper paper in this session is also from #iFM24, 'Proving Termination via Measure Transfer in Equivalence Checking' presented by Dragana Milovančević.
Dragana presents her paper, the slides projected on a large screen.
November 13, 2024 at 12:17 PM
fmasworkshop.bsky.social
Next up is 'A Systematic Literature Review on a Decade of Industrial TLA+ Practice' presented by Roman Bögli
An #iFM24 paper
Roman Bögli presenting his paper, the title slide projected on a screen in a large room.
November 13, 2024 at 12:03 PM
fmasworkshop.bsky.social
The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by Taylor Johnson.
November 13, 2024 at 11:33 AM
fmasworkshop.bsky.social
The first paper "A Formal Tainting-Based Framework for Malware Analysis (iFM 2024 paper)" presented by Andrei-Catalin Mogage #iFM24
November 13, 2024 at 11:12 AM
fmasworkshop.bsky.social
The joint #iFM2024 / #FMAS2024 session chaired by Mengwei Xu starts shortly.

This session marks the concluding session of #FMAS2024 for this year! It will feature three papers from iFM and the best paper award winner from FMAS.
November 13, 2024 at 10:55 AM
fmasworkshop.bsky.social
The first-ever FMAS Best Paper award was announced at #FMAS2024 dinner yesterday. Congratulations to Serena Serbinowska, Preston Robinette, Gabor Karsai, and Taylor T Johnson for "Formalizing Stateful Behavior Trees." For more details, attend the #FMAS2024 and #iFM2024 session today at 11:30 (GMT).
November 13, 2024 at 10:45 AM
fmasworkshop.bsky.social
The joint invited talk of #FMAS2024 and #iFM2024 by Prof. Daniel Kröning on "Proof for Industrial Systems using Neural Certificates" is underway.
November 13, 2024 at 9:58 AM
fmasworkshop.bsky.social
The #iFM2024 has begun! The conference is being led by chairs: Marie Farrell, Mohammad Reza Mousavi, Laura Kovács, and Nikolai Kosmatov.
November 13, 2024 at 9:48 AM
fmasworkshop.bsky.social
The last day of #FMAS2024 is a joint session with #iFM2024 at the Whitworth.
https://buff.ly/4fo8w6n
Join us there.
November 13, 2024 at 9:31 AM