One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.
@fmasworkshop.bsky.socialExplore
@fmasworkshop.bsky.social
@fmasworkshop.bsky.socialOne of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.