Abstrakt. I detta dokument föreslår vi en första effektiv on-the-fly algoritm för att lösa spel baserade på tidsinställda spelautomata med avseende på tillgänglighet och säkerhetsegenskaper 1. Den algoritm som vi föreslår är en symbolisk förlängning av den algoritm på flygning som Liu & Smolka [15] föreslår för linjär-tids modellkontroll av finita-state-system. Eftersom den symboliska algoritmen är på flykt, kan den upphöra långt innan den har utforskat hela tillståndsrymden. Även de enskilda stegen i algoritmen utförs effektivt genom användning av så kallade zoner som den underliggande datastrukturen. Olika optimeringar av den grundläggande symboliska algoritmen föreslås samt metoder för att erhålla tidsoptimala vinnande strategier (för tillgängliga spel). Omfattande utvärdering av ett experimentellt genomförande av algoritmen ger mycket uppmuntrande resultat.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. REF presenterar en annan symbolisk förlängning av algoritmen av Liu och Smolka; en zonbaserad framåt, lokal algoritm för att lösa tidsinställda tillgänglighetsspel.
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
{'venue': 'CONCUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}