1.0Service / FS - Informatique théoriquehttps://web.umons.ac.be/sithAngélique Turquethttps://web.umons.ac.be/sith/author/aturquet/rich600338<blockquote class="wp-embedded-content" data-secret="nRtckiChiA"><a href="https://web.umons.ac.be/sith/en/research-activities/">Research</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://web.umons.ac.be/sith/en/research-activities/embed/#?secret=nRtckiChiA" width="600" height="338" title="« Research » — Service / FS - Informatique théorique" data-secret="nRtckiChiA" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script type="text/javascript"> /* <![CDATA[ */ /*! This file is auto-generated */ !function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document); //# sourceURL=https://web.umons.ac.be/sith/wp-includes/js/wp-embed.min.js /* ]]> */ </script> Véronique Bruyère conducts 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édéré en Vérification (CFV), FNRS, from 2002- On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025 […]