View Document Preview and Link
Document Date: 2013-05-14 12:15:43 Open Document File Size: 544,62 KB Share Result on Facebook
/ Facility University of Basel / Vienna University of Technology / University of Illinois / University of Freiburg / University of California / / IndustryTerm real-world applications / switchback search / large systems / guided search algorithm / search algorithm explores / reachability algorithms / symbolic search space / guided reachability algorithm / symbolic search / depth-first search / reachability analysis algorithms / concrete search / search guidance / abstract search / uninformed search / computing / hybrid systems / guided search / overall search guidance / guided search approach / reachability algorithm / reachability-analysis tools / search effort / search behavior / search problems / search methods / verification tool / / Organization University of Basel / University of Illinois / University of California / Berkeley / U.S. Securities and Exchange Commission / Vienna University of Technology / University of Freiburg / / Person Alexandre Donz / / Position guard / General / / ProgrammingLanguage R / / Technology reachability algorithms / artificial intelligence / reachability analysis algorithms / guided search algorithm / 5 Algorithm / guided reachability algorithm / reachability algorithm / / SocialTag