• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2024
• 
  Hussein Sibai, Sayan Mitra:
  Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. 69(5): 3357-3364 (2024)
• 2023
• 
  Hussein Sibai, Sayan Mitra:
  State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. 68(12): 7041-7056 (2023)
• 2022
• 
  Sayan Mitra, Hussein Sibai:
  Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer 55(10): 88-93 (2022)
• 
  Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra:
  MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2022(1): 75-104 (2022)
• 2021
• 
  Hussein Sibai, Yangge Li, Sayan Mitra:
  SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) 2021: 580-594
• 
  Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra:
  SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC 2021: 372-379
• 2020
• 
  Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra:
  Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC 2020: 1-8
• 
  Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
  Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190
• 
  Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud:
  Differential Privacy for Sequential Algorithms. CoRR abs/2004.00275 (2020)
• 
  Hussein Sibai, Sayan Mitra:
  Symmetry Abstractions for Hybrid Systems and their Applications. CoRR abs/2006.09485 (2020)
• 
  Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra:
  Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR abs/2009.04655 (2020)
• 
  Hussein Sibai, Sayan Mitra:
  State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR abs/2011.10496 (2020)
• 
  Hussein Sibai, Yangge Li, Sayan Mitra:
  SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR abs/2011.10713 (2020)
• 2019
• 
  Hussein Sibai, Navid Mokhlesi, Sayan Mitra:
  Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA 2019: 98-114
• 
  Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra:
  Online monitoring for safe pedestrian-vehicle interactions. CoRR abs/1910.05599 (2019)
• 
  Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
  Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019)
• 2018
• 
  Hussein Sibai, Sayan Mitra:
  State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC 2018: 217-226
• 
  Hussein Sibai, Sayan Mitra:
  Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC 2018: 279-280
• 
  Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra:
  TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS 2018: 76-85
• 2017
• 
  Siba Mitra, Ajanta Das:
  Distributed Fault Tolerant Architecture for Wireless Sensor Network. Informatica (Slovenia) 41(1) (2017)
• 
  Hussein Sibai, Sayan Mitra:
  Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC 2017: 71-80
• 2012
• 
  Siba Mitra, Ajanta De Sarkar, Sarbani Roy:
  A review of fault management system in wireless sensor network. CUBE 2012: 144-148