Friedrich Kurz

 

Entries

2018
October 12: Upper Bounding Diameters of State Spaces of Factored Transition Systems