The Hybrid Systems: Computation and Control (HSCC’13) conference in Philadelphia has been very successful: Hongfei Fu received the best student paper award for his paper “Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata”.
Besides, the paper by Ilya Tkachev, Alexandru Mereacre, Alessandro Abate and Joost-Pieter Katoen was ranked second in the overall best paper award selection.