activity
20142023
most citedGoal-Aware RSS for Complex Scenarios via Program Logic

16 citations · 20 across the 8 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer +2

This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on R…