#fmas2021 검색 결과

What better way to start the week than reminiscing about #FMAS2021 talks! Watch the talks again on YouTube: buff.ly/5Pflkvg - Help or Hazard: Towards Verifying Autonomous Robot Systems by Clare Dixon - Understanding and Verifying Deep Neural Networks by Divya Gopinath

The invited talks from #FMAS2021 are on the @FormalMtds YouTube Channel: youtube.com/playlist?list=… * "Help or Hazard: Towards Verifying Autonomous Robot Systems" by Prof. Clare Dixon @AandVNetwork * "Understanding and Verifying Deep Neural Networks" by Divya Gopinath (Nasa Ames)

While you're writing up a paper for #FMAS2023, why not take some inspiration from our invited talks from #FMAS2021 on the @FormalMtds Youtube channel: youtube.com/playlist?list=… Talks delivered by the brilliant Clare Dixon (@AandVNetwork) & Divya Gopinath (nasa.gov/intelligent-sy…)

For quick access to all the proceedings from our previous workshops on Formal Methods for Autonomous Systems, you can check the page generated by the lovely people @dblp_org : dblp.dagstuhl.de/db/conf/fmas/i… #FMAS2023 #FMAS2022 #FMAS2021 #FMAS2020 #FMAS2019

What is the Formal Methods for Autonomous Systems workshop all about? Well, we talk about about the background to the workshop (and how #FMAS2021 went!) in a blog post here, for the @valu3s_project @MattLuckcuck @farrell_marie

The proceedings for #FMAS2021 are available via EPTCS: eptcs.web.cse.unsw.edu.au/content.cgi?FM… Inside you can find all 12 papers that were presented at the workshop, covering a wide range of #AutonomousSystem technologies, #FormalMethods, and use cases.

#NewPaper 🎉 Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming by @Blair_Archibald, Muffy Calder, @michele_seve, & Mengwei Xu Human feedback from BDI Agents to improve Human-Autonomy collaboration. arxiv.org/abs/2110.12579… #FMAS2021

#NewPaper 🎉 Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study by Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta, Nandith Narayan, & @mmatessa Autonomous co-pilot in SOAR architecture arxiv.org/abs/2110.12591… #FMAS2021

#NewPaper 🎉 Towards a Formalisation of Justification and Justifiability by Willem Hagemann A logic for deriving justifications about what information an agent has, and so why it makes a particular choice. arxiv.org/abs/2110.12581… #FMAS2021

#NewPaper 🎉 Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, & Sibylle Schupp Model checking on a frequently updated world model... arxiv.org/abs/2110.12590… #FMAS2021

#NewPaper 🎉 Improving Online Railway Deadlock Detection using a Partial Order Reduction by Bjørnar Luteberget (@SINTEFdigital) SAT-based planning for online detection of bound-for-deadlock situations for autonomous railway dispatching. arxiv.org/abs/2110.12578… #FMAS2021

#NewPaper 🎉 Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems by @MarioGleirscher & Jan Peleska Enforcing safety properties for (eg) human-robot collaboration and #Autonomous driving. arxiv.org/abs/2110.12589… #FMAS2021

#NewPaper 🎉 QuantifyML: How Good is my Machine Learning Model? by Muhammad Usman, Divya Gopinath, & Corina S. Păsăreanu The tool, QuantifyML, quantifies the safety and robustness of #MachineLearning models, based on its training data. arxiv.org/abs/2110.12588… #FMAS2021

#NewPaper 🎉 Formal Guarantees of Timely Progress for Distributed Knowledge Propagation by Saswata Paul, Stacy Patterson, & Carlos Varela Giving probabilistic upper bounds to the time for knowledge to propagate in aircraft swarms. arxiv.org/abs/2110.12587… #FMAS2021

#NewPaper 🎉 Complete Agent-driven Model-based System Testing for Autonomous Systems by Kerstin I. Eder, Wen-ling Huang, & Jan Peleska A position paper proposing complete testing methods at the module level, to provide formal proofs. arxiv.org/abs/2110.12586… #FMAS2021

#NewPaper 🎉 Towards Partial Monitoring: It is Always too Soon to Give Up by Angelo Ferrando & Rafael C. Cardoso (@AandVNetwork) Using #RuntimeVerification with (what would be) non-monitorable properties to generate partial monitors. arxiv.org/abs/2110.12585… #FMAS2021

#NewPaper Simulation and Model Checking for Close to Realtime Overtaking Planning by Daumantas Pagojus, @AliceMillerUoG @BerndPorr , & Ivaylo Valkov Online overtaking planning, using the Spin model checker, for #AutonomousVehicles arxiv.org/abs/2110.12577… #FMAS2021

#NewPaper 🎉 Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules by Maike Schwammberger & @GleiferA arxiv.org/abs/2110.12583… Formalises the temporal and spacial aspects of the road junction rules in the UK Highway Code for #AutonomousVehicles #FMAS2021

@MarioGleirscher found it first! The #FMAS2021 proceedings are fully arXived and ready to go! 🎉 arxiv.org/html/2110.11527 Expect many many tweets. 😉

Thanks again to everyone involved in #FMAS2021 * authors, * programme committee, * audience; Its been a fantastic workshop and we hope to see you all again for #FMAS2022 ! @MattLuckcuck @farrell_marie

#Fight4FamMed #FMAS2021

3,2,1, GO! #Fight4FamMed #FMAS2021 @AAFP_advocacy

@MOAFP members are meeting with @HawleyMO staff to discuss #healthcare issues during #FMAS2021. @AAFP_advocacy

#Fight4FamMed #FMAS2021 #AAFPLEAD #thegoodfight #medicineisasocialjusticeissue — follow @AAFP_advocacy

I’ve got all my screens ready for our next round of virtual hill visits during #FMAS2021 #Fight4FamMed @Delfamdoc @AAFP_advocacy

For quick access to all the proceedings from our previous workshops on Formal Methods for Autonomous Systems, you can check the page generated by the lovely people @dblp_org : dblp.dagstuhl.de/db/conf/fmas/i… #FMAS2023 #FMAS2022 #FMAS2021 #FMAS2020 #FMAS2019

The bidding is done and the assignments are sent out. Thanks to everyone on the programme committee for helping us to review the papers this year! #FMAS2021

We'd like to thank everyone who's agreed to be on the Programme Committee for #FMAS2021 The 3rd workshop on Formal Methods for Autonomous Systems aims to be a hybrid event, online and at @MaynoothUni Full details (including the programme committee!): fmasworkshop.github.io/FMAS2021/