Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916489236316160 |
|---|---|
| author | Luckcuck, Matt Xu, Mengwei |
| author_facet | Luckcuck, Matt Xu, Mengwei |
| contents | This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom, in the University of Manchester's Core Technology Facility.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_13215 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems Luckcuck, Matt Xu, Mengwei Logic in Computer Science Artificial Intelligence Robotics This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom, in the University of Manchester's Core Technology Facility. |
| title | Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems |
| topic | Logic in Computer Science Artificial Intelligence Robotics |
| url | https://arxiv.org/abs/2411.13215 |