Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy-Reference-Cited by-同舟云学术

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy

Published:2011 Issue: Volume: Page:276-290
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Kupferschmid Sebastian,Wehrle Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_26

Reference23 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

2. Culberson, J.C., Schaeffer, J.: Pattern databases. Comp. Int. 14(3), 318–334 (1998)

3. Dierks, H.: Time, Abstraction and Heuristics – Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics. Habilitation Thesis, University of Oldenburg, Germany (2005)

4. Dräger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distance-preserving abstractions. STTT 11(1), 27–37 (2009)

5. Edelkamp, S.: Planning with pattern databases. In: Proc. ECP, pp. 13–24 (2001)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Guided search for hybrid systems based on coarse-grained space abstractions;International Journal on Software Tools for Technology Transfer;2015-08-07

2. Downward pattern refinement for timed automata;International Journal on Software Tools for Technology Transfer;2014-09-04

3. Data-Driven Mapping Using Local Patterns;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2013-11

4. Abstraction-Based Guided Search for Hybrid Systems;Model Checking Software;2013

5. Abstract reduction in directed model checking CCS processes;Acta Informatica;2012-07-03