Formal verification of an autonomous wheel loader by model checking-Reference-Cited by-同舟云学术

Formal verification of an autonomous wheel loader by model checking

Published:2018-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Gu Rong¹,Marinescu Raluca¹,Seceleanu Cristina¹,Lundqvist Kristina¹

Affiliation:

1. Mälardalen University, Västerås, Sweden

Funder

Swedish Knowledge Foundation (KKS)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3193992.3193999

Reference24 articles.

1. Motion planning in multi-robot systems using timed automata

2. Adina Aniculaesei Daniel Arnsberger Falk Howar and Andreas Rausch. 2016. Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. arXiv preprint arXiv:1612.04977 (2016). Adina Aniculaesei Daniel Arnsberger Falk Howar and Andreas Rausch. 2016. Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. arXiv preprint arXiv:1612.04977 (2016).

3. Gerd Behrmann Alexandre David and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006). Gerd Behrmann Alexandre David and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006).

4. Constructing decidable hybrid systems with velocity bounds

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Calibration of Environmentally Installed 3D-LiDAR Group Used for Localization of Construction Vehicles;Journal of Robotics and Mechatronics;2024-04-20

2. Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes;Future Internet;2023-11-26

3. Path Planning and Energy Optimization in Optimal Control of Autonomous Wheel Loaders Using Reinforcement Learning;IEEE Transactions on Vehicular Technology;2023-08

4. MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty;Software and Systems Modeling;2023-03-18

5. Where Am I? SLAM for Mobile Machines on a Smart Working Site;Vehicles;2022-05-27