{"id":340,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=340"},"modified":"2020-11-25T04:24:35","modified_gmt":"2020-11-25T04:24:35","slug":"study-2-statistical-verification-of-sos","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/","title":{"rendered":"[Study 2] Statistical Verification of SoS"},"content":{"rendered":"<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2.png\"><img loading=\"lazy\" class=\"size-full wp-image-625 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2.png\" alt=\"\" width=\"1336\" height=\"523\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2.png 1336w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2-300x117.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2-768x301.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02_Study2-1024x401.png 1024w\" sizes=\"(max-width: 1336px) 100vw, 1336px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p><strong>Research Topics<\/strong><\/p>\n<ul>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/statistical-model-checking\/\">&lt;Statistical Model Checking&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/agent-based-simulation\/\">&lt;Agent-based Discrete Time Simulation&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/abc-and-abc-modeling\/\">&lt;ABC and ABC+ Modeling&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/interactive-simulation\/\">&lt;Interactive Simulation&gt;<\/a><\/li>\n<li>See <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/study-2-statistical-verification-of-sos\/runtime-monitori\u2026cation-technique\/\">&lt;Runtime Monitoring &amp; Verification Technique&gt;<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; Research Topics See &lt;Statistical Model Checking&gt; See &lt;Agent-based Discrete Time Simulation&gt; See &lt;ABC and ABC+ Modeling&gt; See &lt;Interactive Simulation&gt; See &lt;Runtime Monitoring &amp; Verification Technique&gt;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":333,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/340"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=340"}],"version-history":[{"count":5,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/340\/revisions"}],"predecessor-version":[{"id":933,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/340\/revisions\/933"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=340"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}