Additive counterexample-guided Cartesian abstraction refinement
ConferencePaper (Artikel, die in Tagungsbänden erschienen sind)
 
ID 2315155
Author(s) Seipp, Jendrik; Helmert, Malte
Author(s) at UniBasel Seipp, Jendrik
Helmert, Malte
Year 2013
Title Additive counterexample-guided Cartesian abstraction refinement
Book title (Conference Proceedings) Late-breaking developments in the field of artificial intelligence : papers presented at the Twenty-Seventh AAAI Conference on Artificial Intelligence, [in Bellevue, WA, July 14 - 18, 2013] (AAAI 2013)
Place of Conference Washington, USA
Publisher AAAI Press
Place of Publication Palo Alto, Calif.
Pages 119-121
URL http://ai.cs.unibas.ch/papers/seipp-helmert-aaai13lbp.pdf
edoc-URL http://edoc.unibas.ch/dok/A6337425
Full Text on edoc Available
 
   

MCSS v5.8 PRO. 0.466 sec, queries - 0.000 sec ©Universität Basel  |  Impressum   |    
07/08/2020