Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Antichains and compositional algorithms for LTL synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Feasibility analysis of sporadic real-time multiprocessor task systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Game Approach to Determinize Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Antichain Algorithms for Finite Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692280 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of hard real-time scheduling for multiprocessor systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small Strategies for Safety Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Measuring the performance of schedulability tests / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Conformance Testing for Timed Systems / rank
 
Normal rank

Revision as of 19:23, 15 July 2024

scientific article
Language Label Description Also known as
English
Synthesising succinct strategies in safety games with an application to real-time scheduling
scientific article

    Statements

    Synthesising succinct strategies in safety games with an application to real-time scheduling (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 June 2018
    0 references
    safety games
    0 references
    succinct strategies
    0 references
    antichains
    0 references
    real-time scheduling
    0 references
    sporadic tasks
    0 references

    Identifiers