141 followers
Modelling Unreliable and Untrustworthy Agent Behaviour (2004) : Marek J. Sergot DOI: https://t.co/zDASWY7hyT #CTL #action_language #c_plus #failure #temporal_logic #trust #my_bibtex
Modelling Unreliable and Untrustworthy Agent Behaviour (2004) : Marek J. Sergot DOI: https://t.co/zDASWY7hyT #CTL #action_language #c_plus #failure #temporal_logic #trust #my_bibtex