Index of /~degiacom/didattica/software-services/aa2013-14/lectures/week8 - synthesis of partially controllable system through model checking game structure

Icon  Name                                                       Last modified      Size  Description
[DIR] Parent Directory                                                                -   
[DIR] additional material/                                       22-Feb-2015 19:25    -   
[   ] 7-intro-mu-calculus 2up.pdf                                22-Feb-2015 19:25  419K  
[   ] 7-GameStructures2up.pdf                                    22-Feb-2015 19:25  507K