Synthesising succinct strategies in safety games with an application to real-time scheduling
Work
Year: 2017
Type: article
Source: Theoretical Computer Science
Institution Université Libre de Bruxelles
Cites: 26
Cited by: 4
Related to: 10
FWCI: 0.527
Citation percentile (by year/subfield): 65.97
Topic: Real-Time Systems Scheduling
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Funders Fonds De La Recherche Scientifique - FNRS, Seventh Framework Programme, Seventh Framework Programme
Grant IDS 14621993, 601148,