Gerd Behrmann und Judi Romijn - Info zur Person

(1 - 7 von 8

)

Model-Based Validation of Intelligencewww.aaai.org › Library › Symposia › Spring

www.aaai.org

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Protocol Verification with Heuristic Search / 75

Modeling and Verification of Parallel Processes: 4th Summer ...

books.google.de

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Efficient Guiding Towards Cost-Optimality in uppaal.

PROGRAM OF TUESDAY, APRIL 3RD

etaps.org

Gerd Behrmann (Aalborg University), Ansgar Fehnker (University of Nijmegen), Thomas Hune (Aarhus University), Kim Larsen (University of Twente), Paul Pettersson (Uppsala University), Judi Romijn (University of Nijmegen) Linear Parametric Model Checking of Timed Automata Thomas ...

Minimum-Cost Reachability for Priced Timed Automata? Gerd ...docplayer.net ›

docplayer.net

Gerd Behrmann 1, Ansgar Fehnker 3, Thomas Hune 2, Kim Larsen 1 Paul Pettersson 4, Judi Romijn 3,andFrits Vaandrager 3 1 Basic Research in Computer ...

HTMLcse.cgi.unsw.edu.au › ~eptcs

cgi.cse.unsw.edu.au

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn & Frits Vaandrager (2001): Minimum-Cost Reachability for Priced ...

Minimum-cost reachability for priced timed automata — Macquarie...

researchers.mq.edu.au

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn, Frits Vaandrager. Research output: Chapter in Book/Report/Conference ...