On the Complexity of Model Checking for Temporal Equilibrium LogicAuszeichnung: Preis › Publikations-/Konferenzpreis Empfänger:innenOscar Barreca - , Seniorprofessor für Automatentheorie BeschreibungBest paper & best student paper award.Datum der Verleihung11 Sept. 2026BekanntheitsgradInternational
