{"id":48,"date":"2024-03-20T16:07:34","date_gmt":"2024-03-20T15:07:34","guid":{"rendered":"https:\/\/informatique-umons.be\/Bruyere-Veronique\/?page_id=48"},"modified":"2024-04-02T15:52:30","modified_gmt":"2024-04-02T13:52:30","slug":"projects","status":"publish","type":"page","link":"https:\/\/informatique-umons.be\/tcs\/projects\/","title":{"rendered":"Research"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">Research Topics <\/h3>\n\n\n\n<p><\/p>\n\n\n\n<ul>\n<li>Game theory and reactive synthesis\/verification<\/li>\n\n\n\n<li>Active learning of automata with ressources<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Research Projects<\/h3>\n\n\n\n<ul>\n<li><a href=\"https:\/\/verif.ulb.ac.be\/cfv\/\">Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification<\/a> (CFV), FNRS, from 2002-<\/li>\n\n\n\n<li>On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025<\/li>\n\n\n\n<li>Subgame perfection in graph games, PDR-FNRS, 2018-2022<\/li>\n\n\n\n<li>European Network for Game Theory (GAMENET), Cost CA16228, 2017-2022<\/li>\n\n\n\n<li>Collective Adaptive System SynThesIs with Non-zero-sum Games (CASSTING), FP7-Cordis, 2013-2016<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Research Topics Research Projects<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/48"}],"collection":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/comments?post=48"}],"version-history":[{"count":4,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/48\/revisions"}],"predecessor-version":[{"id":73,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/48\/revisions\/73"}],"wp:attachment":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/media?parent=48"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}