{"id":17,"date":"2021-11-08T13:51:56","date_gmt":"2021-11-08T12:51:56","guid":{"rendered":"https:\/\/web.umons.ac.be\/sith\/research-activities\/"},"modified":"2025-12-03T12:08:55","modified_gmt":"2025-12-03T11:08:55","slug":"research-activities","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/","title":{"rendered":"Research"},"content":{"rendered":"<p>V\u00e9ronique Bruy\u00e8re<span class=\"Y2IQFc\" lang=\"en\">\u00a0conducts research in game theory and its applications to the verification and synthesis of systems, as well as in learning automata with resources. <\/span><\/p>\n<h3 class=\"wp-block-heading has-text-align-left\">Publications<\/h3>\n<ul>\n<li><a href=\"https:\/\/dblp.org\/pid\/b\/VeroniqueBruyere.html\">DBLP<\/a><\/li>\n<li><a href=\"https:\/\/orbi.umons.ac.be\/simple-search?query=V%C3%A9ronique+Bruy%C3%A8re\">UMONS institutional repository<\/a><\/li>\n<\/ul>\n<h3 class=\"wp-block-heading has-text-align-left\">Research projects<\/h3>\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<li>On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025<\/li>\n<li>Subgame perfection in graph games, PDR-FNRS, 2018-2022<\/li>\n<li>European Network for Game Theory (GAMENET), Cost CA16228, 2017-2022<\/li>\n<li>Collective Adaptive System SynThesIs with Non-zero-sum Games (CASSTING), FP7-Cordis, 2013-2016<\/li>\n<\/ul>\n<hr \/>\n<p>The Theoretical computer science Lab is also associated with the following UMONS research institutes :<\/p>\n<start-cask-shortcode-wrapper>\t\t<div class=\"associated-institutes content-block scheme-fs\">\n\t\t\t<ul class=\"institutes-list\">\n\t\t\t\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t<a href=\"https:\/\/web.umons.ac.be\/complexys\" title=\"Acc\u00e9der au site web de : Institut \/ Complexys\" class=\"associated-institute\">\n\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1\" height=\"1\" src=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/31\/2017\/11\/complexys_logo_fr.svg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\t\t\t\t\t\t\t<\/a>\t\t\t\n\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t<a href=\"https:\/\/web.umons.ac.be\/infortech\" title=\"Acc\u00e9der au site web de : Institut \/ Infortech\" class=\"associated-institute\">\n\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1\" height=\"1\" src=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/12\/infortech_logo_fr.svg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\t\t\t\t\t\t\t<\/a>\t\t\t\n\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<\/ul>\n\t\t<\/div>\n <end-cask-shortcode-wrapper>\n","protected":false},"excerpt":{"rendered":"<p>V\u00e9ronique Bruy\u00e8re\u00a0conducts research in game theory and its applications to the verification and synthesis of systems, as well as in learning automata with resources. Publications DBLP UMONS institutional repository Research projects Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, from 2002- On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025 [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-17","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Research - Service \/ FS - Informatique th\u00e9orique<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research - Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"og:description\" content=\"V\u00e9ronique Bruy\u00e8re\u00a0conducts research in game theory and its applications to the verification and synthesis of systems, as well as in learning automata with resources. Publications DBLP UMONS institutional repository Research projects Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, from 2002- On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"article:modified_time\" content=\"2025-12-03T11:08:55+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/\",\"name\":\"Research - Service \/ FS - Informatique th\u00e9orique\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\"},\"datePublished\":\"2021-11-08T12:51:56+00:00\",\"dateModified\":\"2025-12-03T11:08:55+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/sith\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/\",\"name\":\"Service \/ FS - Informatique th\u00e9orique\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/sith\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Research - Service \/ FS - Informatique th\u00e9orique","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/","og_locale":"fr_FR","og_type":"article","og_title":"Research - Service \/ FS - Informatique th\u00e9orique","og_description":"V\u00e9ronique Bruy\u00e8re\u00a0conducts research in game theory and its applications to the verification and synthesis of systems, as well as in learning automata with resources. Publications DBLP UMONS institutional repository Research projects Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, from 2002- On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025 [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/","og_site_name":"Service \/ FS - Informatique th\u00e9orique","article_modified_time":"2025-12-03T11:08:55+00:00","twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/","url":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/","name":"Research - Service \/ FS - Informatique th\u00e9orique","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/sith\/#website"},"datePublished":"2021-11-08T12:51:56+00:00","dateModified":"2025-12-03T11:08:55+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/sith\/en\/research-activities\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/sith\/"},{"@type":"ListItem","position":2,"name":"Research"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/sith\/#website","url":"https:\/\/web.umons.ac.be\/sith\/","name":"Service \/ FS - Informatique th\u00e9orique","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/sith\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"en","translations":{"en":17,"fr":15},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/17","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/comments?post=17"}],"version-history":[{"count":3,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/17\/revisions"}],"predecessor-version":[{"id":148,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/17\/revisions\/148"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/media?parent=17"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}