Additive Counterexample-Guided Cartesian Abstraction RefinementMarkJendrik Seipp[0]Malte Helmert[0]AAAI (Late-Breaking Developments), 2013.Cited by: 1|Bibtex|Views6EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceUpload PPTYour rating :0 TagsCommentsSubmit
