//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Autonomous systems raise hard questions for formal methods: uncertainty, dynamic environments, decision making, safety evidence, and more. #FMAS2026 is looking for work tackling these challenges. CFP: fmasworkshop.github.io/FMAS2026/
18d
fmasworkshop.github.io
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
Eighth International Workshop on Formal Methods for Autonomous Systems
Formal Methods for Autonomous Systems