Greg Chance
University of Bristol
H-index: 10
Europe-United Kingdom
Top articles of Greg Chance
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
Communications of the ACM
2010/7
Assessing Trustworthiness of Autonomous Systems
arXiv preprint arXiv:2305.03411
2023/5/5
On specifying for trustworthiness
Communications of the ACM
2023/12/21
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
2023/9/13
Trustworthy Swarms
2023/7/11
Soft Gripping: Specifying for Trustworthiness
arXiv preprint arXiv:2307.01159
2023/7/3
Integrating formal verification and simulation-based assertion checking in a corroborative v&v process
arXiv preprint arXiv:2208.05273
2022/8/10
On determinism of game engines used for simulation-based autonomous vehicle verification
2022/6/10
Safety Validation of Autonomous Vehicles using Assertion Checking
arXiv preprint arXiv:2111.04611
2021/11/8
Safety assessment review of a dressing assistance robot
Frontiers in Robotics and AI
2021/6/14
An agency-directed approach to test generation for simulation-based autonomous vehicle verification
2020/8/3
CyRes--Avoiding Catastrophic Failure in Connected and Autonomous Vehicles
arXiv preprint arXiv:2006.14890
2020/6/26
Co-Authors
