tr-announce May 2009

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 5 discussions

2009-13: Time-optimal Winning Strategies for Poset Games
by Carsten Fuhs
15 years

2009-10: Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm
by Carsten Fuhs
15 years

2009-09: Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem
by Carsten Fuhs
15 years

2009-04: Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
by Carsten Fuhs
15 years

2009-12: Time-Bounded Reachability in Continuous-Time Markov Decision Processes
by Carsten Fuhs
15 years
Results per page: