Publication:5480170
From MaRDI portal
zbMath1095.68057MaRDI QIDQ5480170
Publication date: 26 July 2006
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Automata-Theoretic Model Checking Revisited, GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic, Model checking \(\omega \)-regular properties with decoupled search, On-the-fly Emptiness Check of Transition-Based Streett Automata