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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2017.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2252994708
@@ Property / OpenAlex ID: W2252994708 / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains and compositional algorithms for LTL synthesis
+Normal rank
@@ Property / cites work @@
+Feasibility analysis of sporadic real-time multiprocessor task systems
+Normal rank
@@ Property / cites work @@
+A Game Approach to Determinize Timed Automata
@@ Property / cites work: A Game Approach to Determinize Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of hard real-time scheduling for multiprocessor systems
+Normal rank
@@ Property / cites work @@
+Small Strategies for Safety Games
@@ Property / cites work: Small Strategies for Safety Games / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks
+Normal rank
@@ Property / cites work @@
+Measuring the performance of schedulability tests
@@ Property / cites work: Measuring the performance of schedulability tests / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Conformance Testing for Timed Systems
@@ Property / cites work: On Conformance Testing for Timed Systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2636511