Category

Strategies

News /
: PapersAcceptedAtSR2013AndNFM2013
Publications /
: ABackward-traversal-basedApproachForSymbolicModelCheckingOfUniformStrategiesForConstrainedReachability
: ImprovingTheModelCheckingOfStrategiesUnderPartialObservabilityAndFairnessConstraints
: ReasoningAboutMemorylessStrategiesUnderPartialObservabilityAndUnconditionalFairnessConstraints
Talks /
: CFV-Busard2013
: GandALF2017
: ICFEM2014
: SbusardThesisDefense
: SR2013
: YRD2015-Busard

Find It