| Document Date: 2012-02-10 07:43:07
Open Document File Size: 213,12 KBShare Result on Facebook
City Baltimore / New York / Edinburgh / / Company SIAM Journal / MIT Press / / Country Germany / United States / United Kingdom / / Facility University of Munich / University of Western Australia / / IndustryTerm reactive systems / synchronous multi-agent systems / automata-theoretic machinery / large search space / tableau search method / machinery / model-checking-style algorithm / computing / important tool / transition systems / / Organization MIT / IEEE Computer Society / University of Munich / University of Western Australia / / Person Martin Lange / A. Prasad Sistla / Markus Latte / Oliver Friedmann / E. Allen Emerson / / Position editor / straight-forward / / ProvinceOrState Western Australia / New York / / PublishedMedium SIAM Journal on Computing / Theoretical Computer Science / Theory of Computing / / Region Western Australia / / Technology model-checking-style algorithm / /
SocialTag |
Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method