Periodic Reporting for period 2 - INFSYS (Challenging Problems in Infinite-State Systems)

The project INFSYS (Challenging Problems in Infinite-State Systems) focuses on a class of computational models called infinite-state systems. Similarly as in economy market models help understanding future prices or meteorological models predict future weather in computer...