{"id":44498,"date":"2023-01-17T14:41:13","date_gmt":"2023-01-17T19:41:13","guid":{"rendered":"https:\/\/engineering.jhu.edu\/ams\/?post_type=tribe_events&#038;p=44498"},"modified":"2023-02-11T08:29:44","modified_gmt":"2023-02-11T13:29:44","slug":"ams-weekly-seminar-assistant-professor-yu-wang","status":"publish","type":"tribe_events","link":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/","title":{"rendered":"AMS Weekly Seminar | Assistant Professor Yu Wang"},"content":{"rendered":"<div>\n<p><strong><span>Location:\u00a0<\/span><\/strong><span>Gilman 132<\/span><\/p>\n<\/div>\n<div>\n<p><strong><span>When:<\/span><\/strong>\u00a0February 23rd at 1:30 p.m.<span><\/span><\/p>\n<p><strong>Zoom link:<\/strong> https:\/\/wse.zoom.us\/j\/95738965246<\/p>\n<\/div>\n<div>\n<p><strong><span>Title:<\/span><\/strong> Statistical verification algorithms for logical specifications on autonomous systems<\/p>\n<\/div>\n<div>\n<p><strong><span>Abstract: <\/span><\/strong>Modern autonomous systems, such as self-driving cars and unmanned aerial vehicles, are utilized in various applications, creating a need for general-purpose statistical algorithms that can verify a broad range of application-related specifications. This challenge has led to the development of statistical model checking, which expresses these specifications by the symbolic language of temporal logic and uses automated algorithms to parse them and infer their correctness by sampling. This presentation will introduce our recent contribution to this field and offer perspectives on potential future research directions.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Location:\u00a0Gilman 132 When:\u00a0February 23rd at 1:30 p.m. Zoom link: https:\/\/wse.zoom.us\/j\/95738965246 Title: Statistical verification algorithms for logical specifications on autonomous systems Abstract: Modern autonomous systems, such as self-driving cars and unmanned&hellip;<\/p>\n","protected":false},"author":69,"featured_media":0,"template":"","meta":{"_acf_changed":false,"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_tribe_events_status":"","_tribe_events_status_reason":"","footnotes":""},"tags":[],"tribe_events_cat":[260],"class_list":["post-44498","tribe_events","type-tribe_events","status-publish","hentry","tribe_events_cat-seminars-and-endowed-lectures","cat_seminars-and-endowed-lectures"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>AMS Weekly Seminar | Assistant Professor Yu Wang | Department of Applied Mathematics and Statistics<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"AMS Weekly Seminar | Assistant Professor Yu Wang | Department of Applied Mathematics and Statistics\" \/>\n<meta property=\"og:description\" content=\"Location:\u00a0Gilman 132 When:\u00a0February 23rd at 1:30 p.m. Zoom link: https:\/\/wse.zoom.us\/j\/95738965246 Title: Statistical verification algorithms for logical specifications on autonomous systems Abstract: Modern autonomous systems, such as self-driving cars and unmanned&hellip;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/\" \/>\n<meta property=\"og:site_name\" content=\"Department of Applied Mathematics and Statistics\" \/>\n<meta property=\"article:modified_time\" content=\"2023-02-11T13:29:44+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"AMS Weekly Seminar | Assistant Professor Yu Wang | Department of Applied Mathematics and Statistics","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:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/","og_locale":"en_US","og_type":"article","og_title":"AMS Weekly Seminar | Assistant Professor Yu Wang | Department of Applied Mathematics and Statistics","og_description":"Location:\u00a0Gilman 132 When:\u00a0February 23rd at 1:30 p.m. Zoom link: https:\/\/wse.zoom.us\/j\/95738965246 Title: Statistical verification algorithms for logical specifications on autonomous systems Abstract: Modern autonomous systems, such as self-driving cars and unmanned&hellip;","og_url":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/","og_site_name":"Department of Applied Mathematics and Statistics","article_modified_time":"2023-02-11T13:29:44+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/","url":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/","name":"AMS Weekly Seminar | Assistant Professor Yu Wang | Department of Applied Mathematics and Statistics","isPartOf":{"@id":"https:\/\/engineering.jhu.edu\/ams\/#website"},"datePublished":"2023-01-17T19:41:13+00:00","dateModified":"2023-02-11T13:29:44+00:00","breadcrumb":{"@id":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/engineering.jhu.edu\/ams\/event\/ams-weekly-seminar-assistant-professor-yu-wang\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/engineering.jhu.edu\/ams\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/engineering.jhu.edu\/ams\/events\/"},{"@type":"ListItem","position":3,"name":"AMS Weekly Seminar | Assistant Professor Yu Wang"}]},{"@type":"WebSite","@id":"https:\/\/engineering.jhu.edu\/ams\/#website","url":"https:\/\/engineering.jhu.edu\/ams\/","name":"Hopkins Applied Math & Statistics","description":"Department of Applied Mathematics and Statistics","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/engineering.jhu.edu\/ams\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"distributor_meta":false,"distributor_terms":false,"distributor_media":false,"distributor_original_site_name":"Department of Applied Mathematics and Statistics","distributor_original_site_url":"https:\/\/engineering.jhu.edu\/ams","push-errors":false,"_links":{"self":[{"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tribe_events\/44498","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/users\/69"}],"version-history":[{"count":3,"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tribe_events\/44498\/revisions"}],"predecessor-version":[{"id":44727,"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tribe_events\/44498\/revisions\/44727"}],"wp:attachment":[{"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/media?parent=44498"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tags?post=44498"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/engineering.jhu.edu\/ams\/wp-json\/wp\/v2\/tribe_events_cat?post=44498"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}