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

Stefania Costantini, Giovanni De Gasperis, Abeer Dyoub, Valentina Pitoni. Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking. In 2018 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018. AAAI Press, 2018. [doi]

Authors

Stefania Costantini

This author has not been identified. Look up 'Stefania Costantini' in Google

Giovanni De Gasperis

This author has not been identified. Look up 'Giovanni De Gasperis' in Google

Abeer Dyoub

This author has not been identified. Look up 'Abeer Dyoub' in Google

Valentina Pitoni

This author has not been identified. Look up 'Valentina Pitoni' in Google