{"id":228,"date":"2018-09-11T03:46:54","date_gmt":"2018-09-11T03:46:54","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=228"},"modified":"2018-09-11T03:46:54","modified_gmt":"2018-09-11T03:46:54","slug":"distinguished-paper-award","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2018\/distinguished-paper-award\/","title":{"rendered":"Distinguished Papers"},"content":{"rendered":"<p>The following papers have received the ATVA 2018 Distinguished Paper Award:<\/p>\n<ul>\n<li><strong>Optimal Proofs for Linear Temporal Logic on Lasso Words<\/strong>, David Basin, Bhargav Bhatt and Dmitriy Traytel.<\/li>\n<li><strong>What&#8217;s to Come is Still Unsure: Synthesizing Controllers Resilient to Delayed Interaction<\/strong>, Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter Nazier Mosaad and Naijun Zhan.<\/li>\n<\/ul>\n<p>For more details of these papers, please see the <a href=\"https:\/\/easychair.org\/smart-program\/ATVA2018\/\">technical program<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The following papers have received the ATVA 2018 Distinguished Paper Award: Optimal Proofs for Linear Temporal Logic on Lasso Words, David Basin, Bhargav Bhatt and Dmitriy Traytel. What&#8217;s to Come is Still Unsure: Synthesizing Controllers Resilient to Delayed Interaction, Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter Nazier Mosaad and Naijun Zhan. For more details of&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-228","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/228","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/comments?post=228"}],"version-history":[{"count":0,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/228\/revisions"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/media?parent=228"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}