Dataset - CKAN

Specification of online verifiable safety constraints for critical autonomous...

Recent progress in the definition of decisional mechanisms has allowed computer-based systems to become more and more autonomous. For example, service robots can...
- HTML

You can also access this registry using the API (see API Docs).