Reasoning about Quality and Fuzziness of Strategic Behaviours

IJCAI, 2019.

Cited by: 2|Bibtex|Views34|Links
EI

Abstract:

Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional temporal logics with modalities that enable the specification of on-going strategic behaviours in multi-agent systems, and the transition of temporal logics to ...More

Code:

Data:

Your rating :
0

 

Tags
Comments