👤 Jose Aguilar

Temporal Logic from the Chronicles Paradigm:. Learning and reasoning problems, and its applications in Distributed Systems. Jose Aguilar