{"id":1836,"date":"2021-03-08T14:50:00","date_gmt":"2021-03-08T13:50:00","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=1836"},"modified":"2023-03-24T15:00:58","modified_gmt":"2023-03-24T14:00:58","slug":"systerel_blog_multi_agent_smart_solver","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/","title":{"rendered":"Systerel Blog: Multi-Agent Smart Solver"},"content":{"rendered":"\n

A new article is available on the Systerel blog!<\/strong> “Multi-Agent Smart Solver”<\/strong><\/strong><\/p>\n\n\n\n

Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC.<\/p>\n\n\n\n

Find the article on the Systerel blog here<\/a><\/p>\n\n\n\n

Do not hesitate to share your opinion or remarks with us. Enjoy reading!<\/p>\n","protected":false},"excerpt":{"rendered":"

A new article is available on the Systerel blog! “Multi-Agent Smart Solver”<\/p>\n","protected":false},"author":19,"featured_media":1722,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[],"class_list":["post-1836","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog"],"yoast_head":"\nSysterel Blog: Multi-Agent Smart Solver<\/title>\n<meta name=\"description\" content=\"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Systerel Blog: Multi-Agent Smart Solver\" \/>\n<meta property=\"og:description\" content=\"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2021-03-08T13:50:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-24T14:00:58+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"coralie\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"coralie\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/\"},\"author\":{\"name\":\"coralie\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\"},\"headline\":\"Systerel Blog: Multi-Agent Smart Solver\",\"datePublished\":\"2021-03-08T13:50:00+00:00\",\"dateModified\":\"2023-03-24T14:00:58+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/\"},\"wordCount\":75,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2020\\\/12\\\/Blog_590x393_EN.png\",\"articleSection\":[\"Blog\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/\",\"name\":\"Systerel Blog: Multi-Agent Smart Solver\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2020\\\/12\\\/Blog_590x393_EN.png\",\"datePublished\":\"2021-03-08T13:50:00+00:00\",\"dateModified\":\"2023-03-24T14:00:58+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\"},\"description\":\"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2020\\\/12\\\/Blog_590x393_EN.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2020\\\/12\\\/Blog_590x393_EN.png\",\"width\":590,\"height\":393,\"caption\":\"Systerel Blog\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel_blog_multi_agent_smart_solver\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Systerel Blog: Multi-Agent Smart Solver\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\",\"name\":\"coralie\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"caption\":\"coralie\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/coralie\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Systerel Blog: Multi-Agent Smart Solver","description":"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!","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:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/","og_locale":"en_US","og_type":"article","og_title":"Systerel Blog: Multi-Agent Smart Solver","og_description":"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!","og_url":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/","og_site_name":"Systerel English","article_published_time":"2021-03-08T13:50:00+00:00","article_modified_time":"2023-03-24T14:00:58+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png","type":"image\/png"}],"author":"coralie","twitter_misc":{"Written by":"coralie","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/"},"author":{"name":"coralie","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db"},"headline":"Systerel Blog: Multi-Agent Smart Solver","datePublished":"2021-03-08T13:50:00+00:00","dateModified":"2023-03-24T14:00:58+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/"},"wordCount":75,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png","articleSection":["Blog"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/","url":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/","name":"Systerel Blog: Multi-Agent Smart Solver","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png","datePublished":"2021-03-08T13:50:00+00:00","dateModified":"2023-03-24T14:00:58+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db"},"description":"Would you like to know how to configure and validate a certificate in your OPC UA application?Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC. Find the article on the Systerel blog => lien article. Do not hesitate to share your opinion or remarks with us. Enjoy reading!","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2020\/12\/Blog_590x393_EN.png","width":590,"height":393,"caption":"Systerel Blog"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel_blog_multi_agent_smart_solver\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Systerel Blog: Multi-Agent Smart Solver"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db","name":"coralie","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","caption":"coralie"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/coralie\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1836","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/19"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=1836"}],"version-history":[{"count":3,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1836\/revisions"}],"predecessor-version":[{"id":1874,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1836\/revisions\/1874"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/1722"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=1836"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=1836"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=1836"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}