Towards satisfaction checking of power contracts in Uppaal.

Gregor Nitsche, Kim Grttner, Wolfgang Nebel

Browse the full FDL paper archive.