Talks
Invited talks:
‘‘Exploiting Symmetry for Verification and Synthesis of Cyber-Physical
Systems’’, SRI International, Online, September, 2022
‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, University of California, Berkeley, Online, July, 2021
‘‘Privacy-Preserving Network Congestion Control’’, NSF CPS Principal Investigators meeting, Online, June, 2021
‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, Center for Advanced Mathematical Sciences at AUB, Online, June, 2021
‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, University of Pennsylvania, Online, May, 2021
‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, NSA Science of Security Lablet Quarterly Meeting, Online, January, 2021
‘‘Accelerating formal verification of autonomous multi-agent systems us-
ing symmetry transformations’’, Siemens Corporation, Online, April, 2020
‘‘Accelerating formal verification of autonomous multi-agent systems using symmetry transformations’’, CSL Student Conference, UIUC, US, February, 2020
‘‘Accelerating formal verification of autonomous multi-agent systems using symmetry transformations’’, CPS V&V I&F Workshop 2019, Carnegie Mellon University, US, December, 2019
‘‘Optimal Data Rate for State Estimation of Switched Non-linear Systems’’, Information Trust Institute, UIUC, US, April, 2017
Conference talks:
‘‘SceneChecker: Boosting Scenario Verification using Symmetry Abstractions’’, International Conference Computer-Aided Verification, Online, July, 2021
‘‘Accelerating Verification of Cyber-Physical Systems using Symmetry’’, Student Research Competition, CPS-IoT Week, Online, May, 2021
‘‘Multi-Agent Safety Verification using Symmetry Transformations’’, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Online, March, 2021
‘‘State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates’’, International Conference on Hybrid Systems: Computation and Control, Porto, Portugal, April, 2018
‘‘Optimal Data Rate for State Estimation of Switched Non-linear Systems’’, International Conference on Hybrid Systems: Computation and Control, Pittsburgh, PA, April, 2017
|