Best Papers Awards
A selection of the best regular papers
will be done during the workshop, and their authors will receive a
best paper award.
The Best paper award came this year to the following three papers:
- Jiří Barnat, Ivana Černá and Jana Tůmová. Timed Automata Approach to Verification of Systems with Degradation.
- Ondrej Moriš and Petr Hliněný. Generalized Maneuvers in Route Planning
- Christos Sakellariou and Peter Bentley. Introducing the FPGA-based Hardware Architecture of Systemic Computation (HAoS)