Synthesising Succinct Strategies in Safety and Reachability Games

DOI10.1007/978-3-319-11439-2_8zbMath1393.68039OpenAlexW2592855906MaRDI QIDQ3447698

Gilles Geeraerts, Amélie Stainer, Joël Goossens

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://dipot.ulb.ac.be/dspace/bitstream/2013/160787/1/main.pdf

Mathematics Subject Classification ID

Applications of game theory (91A80) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling

This page was built for publication: Synthesising Succinct Strategies in Safety and Reachability Games