FMASWorkshop<p>New paper</p><p>"Model Checking and Verification of Synchronisation Properties of Cobot Welding"<br>by Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, and Ana Cavalcanti</p><p><a href="https://buff.ly/4fGfDXU" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">buff.ly/4fGfDXU</span><span class="invisible"></span></a> </p><p><a href="https://mastodon.acm.org/tags/FMAS2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FMAS2024</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.
Administered by:
Server stats:
224active users
eupolicy.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#fmas2024
0 posts · 0 participants · 0 posts today
FMASWorkshop<p>Last week was the Sixth International Workshop on Formal Methods for Autonomous Systems, held in Manchester and co-located with iFM 24.</p><p>FMAS 2024 had 14 paper presentations, two invited speakers, one invited tutorial, (and was a lot of fun, too).</p><p>Now the proceedings are published so you can read about how researchers are using Formal Methods to tackle the challenges of Autonomous Systems</p><p><a href="https://buff.ly/3ZigOaf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">buff.ly/3ZigOaf</span><span class="invisible"></span></a> </p><p> <a href="https://mastodon.acm.org/tags/FMAS2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FMAS2024</span></a> <br><a href="https://mastodon.acm.org/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalMethods</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload