Inproceedings,

Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking.

, , , and .
AAAI Spring Symposia, AAAI Press, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews