1156 results in Computer Graphics, Image Processing and Robotics
13 - Utilising External Model-Checkers
- from Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 218-238
-
- Chapter
- Export citation
10 - Ethical Decision-Making
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 150-174
-
- Chapter
- Export citation
Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 81-82
-
- Chapter
- Export citation
Appendix C - AJPF Documentation
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 330-361
-
- Chapter
- Export citation
12 - Runtime Verification: Recognising Abstraction Violations
- from Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 203-217
-
- Chapter
- Export citation
Introduction
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 1-10
-
- Chapter
-
- You have access
- Export citation
Index
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 373-378
-
- Chapter
- Export citation
9 - Certification of Unmanned Air Systems
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 127-149
-
- Chapter
- Export citation
14 - Verifiable Autonomous Systems
- from Part IV - Concluding Remarks
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 241-243
-
- Chapter
- Export citation
References
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 362-372
-
- Chapter
- Export citation
Dedication
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp v-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp vii-x
-
- Chapter
- Export citation
Appendix B - AIL Toolkit Documentation
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 297-329
-
- Chapter
- Export citation
15 - The Future
- from Part IV - Concluding Remarks
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 244-245
-
- Chapter
- Export citation
4 - Formal Agent Verification
- from Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 42-57
-
- Chapter
- Export citation
3 - Agent Decision-Maker
- from Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 24-41
-
- Chapter
- Export citation
Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 175-176
-
- Chapter
- Export citation
5 - Verifying Autonomous Systems
- from Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 58-67
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp xi-xii
-
- Chapter
- Export citation
Verifiable Autonomous Systems
- Using Rational Agents to Provide Assurance about Decisions Made by Machines
-
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023