Carla A. D. M. Delgado

Learn More
This paper addresses the issue of model checking knowledge in concurrent systems. The work benefits from many recent results on model checking and combined logics for time and knowledge, and focus on the way knowledge relations can be captured from automata-based system specifications. We present a formal language with compositional semantics and the(More)
This work presents the application of trust and reputation models in the context of interactive games. This type of application aims to avoid that other players (humans or computers) can easily predict the behaviour of non-human players, and consequently loose interest in the game. In our approach, trust and reputation are mechanisms used to bring a social(More)
  • 1