Follow

Papers from 2017

PDF

Relaxed decidability and the robust semantics of Metric Temporal Logic, Houssam Abbas, Matthew O'Kelly, and Rahul Mangharam

PDF

Smooth Operator: Control using the Smooth Robustness of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Technical Report: Control Using the Smooth Robustness of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data, Sangdon Park, James Weimer, and Insup Lee

Papers from 2016

PDF

Representation of Confidence in Assurance Cases Using the Beta Distribution, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee

PDF

Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Tech Report: Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

Papers from 2015

PDF

Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam

PDF

Co-design of Anytime Computation and Robust Control (Supplemental), Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X Nghiem, Joesph Deveitti, and Rahul Mangharam

Papers from 2014

PDF

Requirement-Guided Model Refinement, Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam

Papers from 2013

PDF

Regular Functions and Cost Register Automata, Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan

PDF

Assessing the Overall Sufficiency of Safety Arguments, Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee

Papers from 2012

PDF

Streaming Tree Transducers, Rajeev Alur and Loris D'Antoni

PDF

Protocol Design With Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa

PDF

Regular Transformations of Infinite Strings, Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi

PDF

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Anaheed Ayoub, Baekgyu Kim, Insup Lee, and Oleg Sokolsky

Papers from 2011

PDF

Nondeterministic Streaming String Transducers, Rajeev Alur and Jyotirmoy Deshmukh

Papers from 2010

PDF

Expressiveness of Streaming String Transducers, Rajeev Alur

Papers from 2009

PDF

On Omega-Languages Defined by Mean-Payoff Conditions, Rajeev Alur, Aldric Degorre, Oded Maler, and Gera Weiss

PDF

Adding Nesting Structure to Words, Rajeev Alur and P. Madhusudan

Papers from 2008

PDF

First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin

PDF

Algorithmic Analysis of Array-Accessing Programs, Rajeev Alur, Pavol Cerný, and Scott Weinstein

PDF

Graph Distances in the Data-Stream Model, Joan Feigenbaum, Sampth Kannan, Andrew Mcgregor, Siddarth Suri, and Jian Zhang