See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/221256615 Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL Conference Paper · August 2006 DOI: 10.1007/978-3-540-74128-2_4 · Source: DBLP CITATIONS 14 READS 17 5 authors, including: Sebastian Kupferschmid ATRiCS Advanced Traffic Solutions GmbH 16 PUBLICATIONS 154 CITATIONS SEE PROFILE Andreas Podelski University of Freiburg 240 PUBLICATIONS 4,578 CITATIONS SEE PROFILE All content following this page was uploaded by Sebastian Kupferschmid on 01 January 2017. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.