3 projects found matching your search criteria :
Call: PRELUDIUM 22 , Panel: ST5
Principal investigator: Karol Daniel Baran
Politechnika Gdańska
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki