Submission open
Verifying Autonomy: Formal Methods for Reliable Decision-Making
- ANTONIO DI STASIO
- Muhammad Najib
- Giuseppe Perelli
- Roxana Rădulescu
- 245 views
Submission open
Submission open
Submission open
Submission open
Submission closed
Interactive magazine
eBook
Submission closed
Interactive magazine
eBook
Submission closed
Interactive magazine
Submission closed
Interactive magazine
Submission closed
Interactive magazine
Submission closed
Interactive magazine
eBook
Submission closed