• 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 36 matches

• 2022
• 
  Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
  Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22
• 2021
• 
  Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
  Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576
• 
  Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
  Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD 2021: 153-162
• 
  Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
  Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330
• 
  Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
  Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021)
• 
  Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
  Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR abs/2108.07307 (2021)
• 2020
• 
  Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
  Explainable Reactive Synthesis. ATVA 2020: 413-428
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500
• 
  Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
  SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV 2020: 184-194
• 
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
  FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020)
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020)
• 
  Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
  SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR abs/2008.09707 (2020)
• 
  Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
  Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020)
• 
  Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
  Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020)
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020)
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)
• 2019
• 
  Hazem Torfah:
  Model counting for reactive systems. Saarland University, Saarbrücken, Germany, 2019
• 
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
  FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18(5s): 88:1-88:24 (2019)
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258
• 
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah:
  StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) 2019: 421-431
• 
  Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
  Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31
• 
  Hazem Torfah:
  Stream-Based Monitors for Real-Time Properties. RV 2019: 91-110
• 
  Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
  Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019)
• 2018
• 
  Hazem Torfah, Martin Zimmermann:
  The complexity of counting models of linear-time temporal logic. Acta Informatica 55(3): 191-212 (2018)
• 
  Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
  Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163
• 
  Hadas Kress-Gazit, Hazem Torfah:
  The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST@ETAPS 2018: 50-64
• 
  Bernd Finkbeiner, Hazem Torfah:
  The Density of Linear-time Properties. CoRR abs/1803.08890 (2018)
• 
  Bernd Finkbeiner, Hazem Torfah:
  Synthesizing Skeletons for Reactive Systems. CoRR abs/1803.09285 (2018)
• 2017
• 
  Bernd Finkbeiner, Hazem Torfah:
  The Density of Linear-Time Properties. ATVA 2017: 139-155

skipping 6 more matches