{"id":15,"date":"2021-11-08T13:51:55","date_gmt":"2021-11-08T12:51:55","guid":{"rendered":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/"},"modified":"2024-05-21T08:24:24","modified_gmt":"2024-05-21T06:24:24","slug":"activites-de-recherche","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/","title":{"rendered":"Recherche"},"content":{"rendered":"<p>Le service d&rsquo;Informatique th\u00e9orique m\u00e8ne des recherches en th\u00e9orie des jeux et ses applications \u00e0 la v\u00e9rification et la synth\u00e8se de syst\u00e8mes, ainsi qu&rsquo;en apprentissage d&rsquo;automates avec ressources.<\/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\">D\u00e9p\u00f4t institutionnel de l&rsquo;UMONS<\/a><\/li>\n<\/ul>\n<h3 class=\"wp-block-heading has-text-align-left\">Projets de recherche<\/h3>\n<ul>\n<li><a href=\"https:\/\/verif.ulb.ac.be\/cfv\/\">Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification<\/a> (CFV), FNRS, depuis 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>Le service est \u00e9galement rattach\u00e9 \u00e0 deux instituts de recherche de l\u2019UMONS :<\/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>Le service d&rsquo;Informatique th\u00e9orique m\u00e8ne des recherches en th\u00e9orie des jeux et ses applications \u00e0 la v\u00e9rification et la synth\u00e8se de syst\u00e8mes, ainsi qu&rsquo;en apprentissage d&rsquo;automates avec ressources. Publications DBLP D\u00e9p\u00f4t institutionnel de l&rsquo;UMONS Projets de recherche Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, depuis 2002- On the verification of rationality and under rationality assumptions, with [&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-15","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v25.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Recherche - Service \/ FS - Informatique th\u00e9orique<\/title>\n<meta name=\"robots\" content=\"index,follow\" \/>\n<link rel=\"canonical\" href=\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Recherche - Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"og:description\" content=\"Le service d&rsquo;Informatique th\u00e9orique m\u00e8ne des recherches en th\u00e9orie des jeux et ses applications \u00e0 la v\u00e9rification et la synth\u00e8se de syst\u00e8mes, ainsi qu&rsquo;en apprentissage d&rsquo;automates avec ressources. Publications DBLP D\u00e9p\u00f4t institutionnel de l&rsquo;UMONS Projets de recherche Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, depuis 2002- On the verification of rationality and under rationality assumptions, with [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"article:modified_time\" content=\"2024-05-21T06:24:24+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\/activites-de-recherche\/\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/\",\"name\":\"Recherche - Service \/ FS - Informatique th\u00e9orique\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\"},\"datePublished\":\"2021-11-08T12:51:55+00:00\",\"dateModified\":\"2024-05-21T06:24:24+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/sith\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Recherche\"}]},{\"@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":"Recherche - Service \/ FS - Informatique th\u00e9orique","robots":{"index,follow":"index,follow"},"canonical":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/","og_locale":"fr_FR","og_type":"article","og_title":"Recherche - Service \/ FS - Informatique th\u00e9orique","og_description":"Le service d&rsquo;Informatique th\u00e9orique m\u00e8ne des recherches en th\u00e9orie des jeux et ses applications \u00e0 la v\u00e9rification et la synth\u00e8se de syst\u00e8mes, ainsi qu&rsquo;en apprentissage d&rsquo;automates avec ressources. Publications DBLP D\u00e9p\u00f4t institutionnel de l&rsquo;UMONS Projets de recherche Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification (CFV), FNRS, depuis 2002- On the verification of rationality and under rationality assumptions, with [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/","og_site_name":"Service \/ FS - Informatique th\u00e9orique","article_modified_time":"2024-05-21T06:24:24+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\/activites-de-recherche\/","url":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/","name":"Recherche - Service \/ FS - Informatique th\u00e9orique","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/sith\/#website"},"datePublished":"2021-11-08T12:51:55+00:00","dateModified":"2024-05-21T06:24:24+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/sith\/activites-de-recherche\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/sith\/"},{"@type":"ListItem","position":2,"name":"Recherche"}]},{"@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":"fr","translations":{"fr":15,"en":17},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/15","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=15"}],"version-history":[{"count":3,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":126,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/15\/revisions\/126"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}