{"id":670,"date":"2021-04-27T12:03:00","date_gmt":"2021-04-27T12:03:00","guid":{"rendered":"https:\/\/hscc.acm.org\/2021\/?page_id=670"},"modified":"2022-05-05T10:05:24","modified_gmt":"2022-05-05T10:05:24","slug":"program","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2022\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\n<div id=\"content\">\n<ul>\n<li>Note that all the times in the schedule are in Milano, IT (CET\/UTC+2) time zone.<\/li>\n<li>You can register for CPS-IoT Week 2022 <a href=\"https:\/\/cpsiotweek.neslab.it\/registration.php#main\">here<\/a>.<\/li>\n<li>Nicola Paoletti and Stefan Schupp are the respective zoom masters, the zoom chairs are indicated for each session. If you have questions, please contact us via Slack.<\/li>\n<\/ul>\n<\/div>\n<div><\/div>\n\n\n<p>Days: <a class=\"program_days\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-03.html\">Tuesday, May 3rd<\/a> <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html\" class=\"program_days\">Wednesday, May 4th<\/a> <a class=\"program_days\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html\">Thursday, May 5th<\/a> <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html\" class=\"program_days\">Friday, May 6th<\/a><\/p>\n<div class=\"date\">Tuesday, May 3rd<\/div>\n<p>View this program: <a class=\"day_with_abstracts\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-03.html\">with abstracts<\/a><a class=\"day_next_link\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bysession-2022-05-03.html\">session overview<\/a><a class=\"day_next_link\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bytalk-2022-05-03.html\">talk overview<\/a><\/p>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">10:15-10:30<\/span> <span class=\"title\">Session 1A: Workshop Openings A<\/span><\/div>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<p><a name=\"session:59466\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">10:15-10:30<\/span> <span class=\"title\">Session 1B: Tutorial Openings A<\/span><\/div>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<p><a name=\"session:59467\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">10:30-11:30<\/span> <span class=\"title\">Session 2A: Workshop Session A1<\/span><\/div>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<p><a name=\"session:59450\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">10:30-11:30<\/span> <span class=\"title\">Session 2B: Tutorial Session A1<\/span><\/div>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<p><a name=\"session:59451\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">11:30-11:45<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">11:45-12:45<\/span> <span class=\"title\">Session 3A: Workshop Session A2<\/span><\/div>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<p><a name=\"session:59452\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">11:45-12:45<\/span> <span class=\"title\">Session 3B: Tutorial Session A2<\/span><\/div>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<p><a name=\"session:59453\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">12:45-13:00<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">13:00-14:00<\/span> <span class=\"title\">Session 4A: Workshop Session A3<\/span><\/div>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<p><a name=\"session:59454\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">13:00-14:00<\/span> <span class=\"title\">Session 4B: Tutorial Session A3<\/span><\/div>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<p><a name=\"session:59455\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:00-14:15<\/span> <span class=\"title\">Session 5A: Workshop Openings B<\/span><\/div>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<p><a name=\"session:59468\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:00-14:15<\/span> <span class=\"title\">Session 5B: Tutorial Openings B<\/span><\/div>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<p><a name=\"session:59469\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:15-15:15<\/span> <span class=\"title\">Session 6A: Workshop Session B1<\/span><\/div>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<p><a name=\"session:59456\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:15-15:15<\/span> <span class=\"title\">Session 6B: Tutorial Session B1<\/span><\/div>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<p><a name=\"session:59457\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">15:15-15:30<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">15:30-16:30<\/span> <span class=\"title\">Session 7A: Workshop Session B2<\/span><\/div>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<p><a name=\"session:59458\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">15:30-16:30<\/span> <span class=\"title\">Session 7B: Tutorial Session B2<\/span><\/div>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<p><a name=\"session:59459\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">16:30-16:45<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">16:45-17:45<\/span> <span class=\"title\">Session 8A: Workshop Session B3<\/span><\/div>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<p><a name=\"session:59460\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">16:45-17:45<\/span> <span class=\"title\">Session 8B: Tutorial Session B3<\/span><\/div>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<p><a name=\"session:59461\"><\/a><\/p>\n<\/div>\n<div class=\"date\">Wednesday, May 4th<\/div>\n<p>View this program: <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html\" class=\"day_with_abstracts\">with abstracts<\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bysession-2022-05-04.html\" class=\"day_next_link\">session overview<\/a><a class=\"day_next_link\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bytalk-2022-05-04.html\">talk overview<\/a><\/p>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">12:30-12:45<\/span> <span class=\"title\">Session 9: CPS-IoT Week Opening<\/span><\/div>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<p><a name=\"session:59462\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">12:45-13:45<\/span> <span class=\"title\">Session 10: CPS-IoT Keynote 1<\/span><\/div>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<p><a name=\"session:59475\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">13:45-14:00<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:00-14:15<\/span> <span class=\"title\">Session 11: Conference Opening<\/span><\/div>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<p><a name=\"session:59463\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">14:15-15:15<\/span> <span class=\"title\">Session 12: Temporal Logics &amp; Monitoring<\/span><\/div>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<p><a name=\"session:59426\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person185.html\">Laura Nenzi<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Eleonora Nesterini, Luisa Collodi<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">14:15<\/td>\n<td>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<p><a name=\"talk:189850\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189850\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person59.html\">Johan Lid\u00e9n Eddeland<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person60.html\" class=\"person\">Alexandre Donz\u00e9<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person61.html\" class=\"person\">Knut \u00c5kesson<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Multi-Requirement Testing Using Focused Falsification <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189850\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519521\">paper<\/a>) https:\/\/youtu.be\/OQ4E4enpKSk<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">14:35<\/td>\n<td>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<p><a name=\"talk:189840\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189840\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person179.html\" class=\"person\">Bassem Ghorbel<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person180.html\">Vinayak Prabhu<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Linear Time Monitoring for One Variable TPTL <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189840\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519537\">paper<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">14:55<\/td>\n<td>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<p><a name=\"talk:189837\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189837\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person130.html\" class=\"person\">Houssam Abbas<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person131.html\" class=\"person\">Richard Pelphrey<\/a><\/div>\n<p><\/p>\n<div class=\"title\">A Multiresolution Analysis of Temporal Logic <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189837\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519531\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/m4Pjvbvu1UI\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">15:15-15:30<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">15:30-16:30<\/span> <span class=\"title\">Session 13: Synthesis<\/span><\/div>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<p><a name=\"session:59427\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person167.html\">Necmiye Ozay<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Ennio Visconti, Drishti Yadav<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">15:30<\/td>\n<td>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<p><a name=\"talk:189838\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189838\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person128.html\" class=\"person\">Monal Narasimhamurthy<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person129.html\" class=\"person\">Sriram Sankaranarayanan<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189838\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519530\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/N5aDYdmy_0U\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">15:50<\/td>\n<td>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<p><a name=\"talk:189852\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189852\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person68.html\" class=\"person\">Gabriel de A. Gleizer<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person154.html\" class=\"person\">Khushraj Madnani<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person70.html\">Manuel Mazo Jr.<\/a><\/div>\n<p><\/p>\n<div class=\"title\">A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189852\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519534\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/Zw4Bu9RYWK4\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">16:10<\/td>\n<td>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<p><a name=\"talk:189851\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189851\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person166.html\" class=\"person\">Kwesi Rutledge<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person167.html\" class=\"person\">Necmiye Ozay<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189851\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519536\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/lglWy8noeKk\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">16:30-16:45<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">16:45-17:45<\/span> <span class=\"title\">Session 14: Probabilistic and Stochastic Hybrid Systems<\/span><\/div>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<p><a name=\"session:59428\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person186.html\" class=\"person\">Ebru Aydin Gol<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Lilly Treml, Oihana Garcia Anacabe<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">16:45<\/td>\n<td>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<p><a name=\"talk:189846\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189846\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person85.html\">Lars Lindemann<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person86.html\" class=\"person\">Alena Rodionova<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person87.html\" class=\"person\">George J. Pappas<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Temporal Robustness of Stochastic Signals <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189846\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519504\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/IXZkIe1tswk\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">17:05<\/td>\n<td>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<p><a name=\"talk:189845\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189845\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person120.html\" class=\"person\">Guy Scher<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person121.html\">Sadra Sadraddini<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person122.html\" class=\"person\">Russ Tedrake<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person123.html\">Hadas Kress-Gazit<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189845\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519506\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/OQ4E4enpKSk\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">17:25<\/td>\n<td>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<p><a name=\"talk:189843\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189843\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person136.html\">Mahathi Anand<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person137.html\" class=\"person\">Vishnu Murali<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person138.html\" class=\"person\">Ashutosh Trivedi<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person50.html\" class=\"person\">Majid Zamani<\/a><\/div>\n<p><\/p>\n<div class=\"title\">k-Inductive Barrier Certificates for Stochastic Systems <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189843\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519532\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/Vy2HM8TNNwI\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">17:45-18:00<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">18:00-19:00<\/span> <span class=\"title\">Session 15: HSCC Keynote<\/span><\/div>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<p><a name=\"session:59474\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person187.html\" class=\"person\">Ezio Bartocci<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Lilly Treml, Oihana Garcia Anacabe<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">18:00<\/td>\n<td>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<p><a name=\"talk:189854\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189854\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person184.html\" class=\"person\">Ufuk Topcu<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Autonomous systems in the intersection of formal methods, learning, and controls <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-04.html#talk:189854\">abstract<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"date\">Thursday, May 5th<\/div>\n<p>View this program: <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html\" class=\"day_with_abstracts\">with abstracts<\/a><a class=\"day_next_link\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bysession-2022-05-05.html\">session overview<\/a><a class=\"day_next_link\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bytalk-2022-05-05.html\">talk overview<\/a><\/p>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">09:15-10:15<\/span> <span class=\"title\">Session 16: CPS-IoT Keynote 2<\/span><\/div>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<p><a name=\"session:59476\"><\/a><\/p>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">10:15-10:30<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">10:30-11:30<\/span> <span class=\"title\">Session 17: Verification<\/span><\/div>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<p><a name=\"session:59429\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person188.html\">Stefan Schupp<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Eleonora Nesterini, Luisa Collodi<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">10:30<\/td>\n<td>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<p><a name=\"talk:189842\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189842\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person139.html\" class=\"person\">Qingye Zhao<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person140.html\" class=\"person\">Xin Chen<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person141.html\" class=\"person\">Zhuoyu Zhao<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person142.html\" class=\"person\">Yifan Zhang<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person143.html\" class=\"person\">Enyi Tang<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person144.html\" class=\"person\">Xuandong Li<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Verifying Neural Network Controlled Systems Using Neural Networks <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189842\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519511\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/KtmWJZOHk3I\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">10:50<\/td>\n<td>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<p><a name=\"talk:189848\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189848\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person73.html\">Arvind Adimoolam<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person74.html\">Indranil Saha<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189848\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519524\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/3bQ5TrdXFQ4\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">11:10<\/td>\n<td>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<p><a name=\"talk:189836\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189836\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person181.html\" class=\"person\">Yuanqi Mao<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person182.html\" class=\"person\">Behcet Acikmese<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person72.html\" class=\"person\">Pierre-Loic Garoche<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person183.html\" class=\"person\">Alexandre Chapoutot<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Successive Convexification for Optimal Control with Signal Temporal Logic Specifications <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189836\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519518\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/iMSjns1cV8g\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">11:30-11:45<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">11:45-12:45<\/span> <span class=\"title\">Session 18: Tool Papers &amp; Case Studies<\/span><\/div>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<p><a name=\"session:59430\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a class=\"person\" href=\"\">Nacim Ramdani<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Lilly Treml, Oihana Garcia Anacabe<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">11:45<\/td>\n<td>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<p><a name=\"talk:189834\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189834\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person30.html\">Alexander Weber<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person31.html\" class=\"person\">Elisei Macoveiciuc<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person32.html\" class=\"person\">Gunther Reissig<\/a><\/div>\n<p><\/p>\n<div class=\"title\">ABS: A formally correct software tool for space-efficient symbolic synthesis <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189834\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519519\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/YgqxRGfYj0o\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">12:05<\/td>\n<td>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<p><a name=\"talk:189833\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189833\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person67.html\">Giannis Delimpaltadakis<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person68.html\">Gabriel de Albuquerque Gleizer<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person69.html\" class=\"person\">Ivo van Straalen<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person70.html\">Manuel Mazo Jr.<\/a><\/div>\n<p><\/p>\n<div class=\"title\">ETCetera: beyond Event-Triggered Control <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189833\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519523\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/-CPFTTuMM6c\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">12:25<\/td>\n<td>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<p><a name=\"talk:189835\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189835\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person161.html\" class=\"person\">Bernd Finkbeiner<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person162.html\" class=\"person\">Kaushik Mallik<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person163.html\" class=\"person\">Noemi Passing<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person164.html\">Malte Schledjewski<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person165.html\" class=\"person\">Anne-Kathrin Schmuck<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Small but Powerful Symbolic Output-Feedback Control <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189835\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519535\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/jub4P0y6JHE\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">12:45-13:00<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">13:00-14:00<\/span> <span class=\"title\">Session 19: Hybrid Systems Stability<\/span><\/div>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<p><a name=\"session:59431\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person174.html\" class=\"person\">Thao Dang<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Francesco Pontiggia, Matteo Zambon<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">13:00<\/td>\n<td>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<p><a name=\"talk:189839\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189839\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person52.html\" class=\"person\">Georges Aazan<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person53.html\">Antoine Girard<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person54.html\">Paolo Mason<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person55.html\">Luca Greco<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Stability of discrete-time switched linear systems with omega-regular switching sequence <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189839\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519543\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/d1fv5k5yV_0\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">13:20<\/td>\n<td>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<p><a name=\"talk:189849\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189849\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person65.html\" class=\"person\">Virginie Debauche<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person66.html\" class=\"person\">Matteo Della Rossa<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person63.html\" class=\"person\">Rapha\u00ebl M. Jungers<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189849\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519539\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/YBu3YEUnX9o\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">13:40<\/td>\n<td>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<p><a name=\"talk:189847\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189847\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person82.html\">Yong Kiam Tan<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person83.html\" class=\"person\">Stefan Mitsch<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person84.html\" class=\"person\">Andr\u00e9 Platzer<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Verifying Switched System Stability With Logic <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-05.html#talk:189847\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519541\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/Qkq2occRA9o\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">14:00-14:15<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">14:15-15:15<\/span> <span class=\"title\">Session 20: Poster &amp; Demo Session<\/span><\/div>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<p><a name=\"session:59434\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person189.html\" class=\"person\">Chuchu Fan<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Francesco Pontiggia, Matteo Zambon<\/div>\n<\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">15:15-15:30<\/span> <span class=\"title\">Session 21: HSCC Awards<\/span><\/div>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<p><a name=\"session:59464\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person97.html\" class=\"person\">Alessandro Abate<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Francesco Pontiggia, Matteo Zambon<\/div>\n<\/div>\n<\/div>\n<div class=\"date\">Friday, May 6th<\/div>\n<p>View this program: <a class=\"day_with_abstracts\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html\">with abstracts<\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bysession-2022-05-06.html\" class=\"day_next_link\">session overview<\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/bytalk-2022-05-06.html\" class=\"day_next_link\">talk overview<\/a><\/p>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">14:15-15:15<\/span> <span class=\"title\">Session 22: Hybrid Systems Theory<\/span><\/div>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<p><a name=\"session:59432\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person63.html\" class=\"person\">Rapha\u00ebl Jungers<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Francesco Pontiggia, Matteo Zambon<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">14:15<\/td>\n<td>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<p><a name=\"talk:189853\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189853\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person101.html\">Mohamed Maghenem<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person102.html\" class=\"person\">Adnane Saoud<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person103.html\">Antonio Loria<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189853\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519528\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/mqgCsjdvSt4\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">14:35<\/td>\n<td>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<p><a name=\"talk:189844\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189844\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person124.html\">Mateus de Oliveira Oliveira<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person125.html\">Olga Tveretina<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Mortality and Edge-to-Edge Reachability are Decidable on Surfaces <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189844\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519529\">paper<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">14:55<\/td>\n<td>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<p><a name=\"talk:189841\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189841\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person157.html\" class=\"person\">Santiago Jimenez Leudo<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person158.html\">Ricardo G Sanfelice<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189841\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519514\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/Y0X0yf2lOaE\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">15:15-15:30<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session\">\n<div class=\"heading\"><span class=\"interval\">15:30-16:30<\/span> <span class=\"title\">Session 23: Tool Papers &amp; Case Studies<\/span><\/div>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<p><a name=\"session:59433\"><\/a><\/p>\n<div class=\"session_chair\">\n<div class=\"chair_word\">Chair:<\/div>\n<div class=\"chair_names\"><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person190.html\">Stanley Bak<\/a><\/div>\n<p><\/p>\n<div class=\"chair_word\">Zoom-Chair:<\/div>\n<div class=\"chair_names\">Eleonora Nesterini, Luisa Collodi<\/div>\n<\/div>\n<table class=\"talks\">\n<tbody>\n<tr class=\"talk\">\n<td class=\"time\">15:30<\/td>\n<td>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<p><a name=\"talk:189831\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189831\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person77.html\" class=\"person\">Arthur Clavi\u00e8re<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person78.html\" class=\"person\">Laura Altieri Sambartolom\u00e9<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person79.html\">Eric Asselin<\/a>, <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person80.html\" class=\"person\">Christophe Garion<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person81.html\">Claire Pagetti<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Verification of machine learning based cyber-physical systems: a comparative study <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189831\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519540\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/v4THBRj1wMI\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">15:50<\/td>\n<td>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<p><a name=\"talk:189832\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189832\"><\/a><a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person75.html\" class=\"person\">Adam Thorpe<\/a> and <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person76.html\">Meeko Oishi<\/a><\/div>\n<p><\/p>\n<div class=\"title\">SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189832\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519525\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/EfIPzpHy-YQ\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<tr class=\"talk\">\n<td class=\"time\">16:10<\/td>\n<td>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<p><a name=\"talk:189830\"><\/a><\/p>\n<div class=\"authors\"><a name=\"talk:189830\"><\/a><a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person147.html\">James Ferlez<\/a>, <a class=\"person\" href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person148.html\">Haitham Khedr<\/a> and <a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/person149.html\" class=\"person\">Yasser Shoukry<\/a><\/div>\n<p><\/p>\n<div class=\"title\">Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks <span style=\"font-weight: normal; white-space: nowrap;\">(<a href=\"https:\/\/easychair.org\/smart-program\/HSCC2022\/2022-05-06.html#talk:189830\">abstract<\/a>) (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519533\">paper<\/a>) (<a href=\"https:\/\/youtu.be\/tiWGix2mgiE\">video<\/a>)<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"session\">\n<div class=\"coffeebreak\"><span class=\"interval\">16:30-16:45<\/span><span class=\"title\">Break &amp; Social<\/span><\/div>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">16:45-17:45<\/span> <span class=\"title\">Session 24: CPS-IoT Keynote 3<\/span><\/div>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<p><a name=\"session:59477\"><\/a><\/p>\n<\/div>\n<div class=\"session notalk\">\n<div class=\"heading\"><span class=\"interval\">17:45-18:00<\/span> <span class=\"title\">Session 25: CPS-IoT Week Closing<\/span><\/div>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<p><a name=\"session:59465\"><\/a><\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Note that all the times in the schedule are in Milano, IT (CET\/UTC+2) time zone. You can register for CPS-IoT Week 2022 here. Nicola Paoletti and Stefan Schupp are the respective zoom masters, the zoom chairs are indicated for each session. If you have questions, please contact us via Slack. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/670"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/comments?post=670"}],"version-history":[{"count":109,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/670\/revisions"}],"predecessor-version":[{"id":1274,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/670\/revisions\/1274"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/media?parent=670"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}