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 
Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1