tr-announce Mai 2009

tr-announce@lists.rwth-aachen.de
  • 1 Teilnehmer
  • 5 Diskussionen

2009-13: Time-optimal Winning Strategies for Poset Games
von Carsten Fuhs
14 Jahre, 10 Monate

2009-10: Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm
von Carsten Fuhs
14 Jahre, 10 Monate

2009-09: Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem
von Carsten Fuhs
14 Jahre, 10 Monate

2009-04: Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
von Carsten Fuhs
14 Jahre, 10 Monate

2009-12: Time-Bounded Reachability in Continuous-Time Markov Decision Processes
von Carsten Fuhs
14 Jahre, 10 Monate
Ergebnisse pro Seite: