Polynomial Time Decidability of Weighted Synchronization under Partial Observability.

Jan Kretnsk, Kim Guldstrand Larsen, Simon Laursen, Jir Srba

Browse the full CONCUR paper archive.