Verifiable Autonomous Systems : Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (EPUB)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (PDF)