Pages that link to "Item:Q344560"

The following pages link to The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete (Q344560):

Displaying 3 items.

• Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
• The Parametric Complexity of Lossy Counter Machines (Q5092331) (← links)
• Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)