The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo.

The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo. The jury, consisting of group leaders and workshop participants, appreciated the technical achievements embodied in PSY-TaLiRo and furthermore recognised the long and continuous stream of contributions that the team has made to the community. The award comes with a 500 USD prize.

 

Submitted by Goran Frehse on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.