On the Complexity of Model Checking for Temporal Equilibrium LogicPrize: Publication/Conference prize RecipientsOscar Barreca - , Professor (rtd.) for Automata Theory DescriptionBest paper & best student paper award.Awarded date11 Sept 2026Degree of recognitionInternational
