Counterexample-Guided Cartesian Abstraction RefinementMarkJendrik Seipp[0]Malte Helmert[0]ICAPS, 2013.Cited by: 51|Bibtex|Views3EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceCitedUpload PPTYour rating :0 TagsCommentsSubmit
