-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.xml
1 lines (1 loc) · 8.52 KB
/
index.xml
1
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>About on CPS-VIDA Lab</title><link>https://cps-vida.github.io/</link><description>Recent content in About on CPS-VIDA Lab</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>&copy; 2019 &mdash; CPS-VIDA Lab.</copyright><lastBuildDate>Fri, 01 Oct 2021 00:00:00 +0000</lastBuildDate><atom:link href="https://cps-vida.github.io/index.xml" rel="self" type="application/rss+xml"/><item><title>Learning from Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains</title><link>https://cps-vida.github.io/publications/ral2021_lfd_stl/</link><pubDate>Fri, 01 Oct 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/ral2021_lfd_stl/</guid><description/></item><item><title>Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference</title><link>https://cps-vida.github.io/publications/preprint_xin_yuan_statconformal/</link><pubDate>Tue, 21 Sep 2021 10:51:57 -0700</pubDate><guid>https://cps-vida.github.io/publications/preprint_xin_yuan_statconformal/</guid><description/></item><item><title>Specifying and Detecting Temporal Patterns With Shape Expressions</title><link>https://cps-vida.github.io/publications/sttt2021_xin_shape/</link><pubDate>Tue, 21 Sep 2021 10:31:44 -0700</pubDate><guid>https://cps-vida.github.io/publications/sttt2021_xin_shape/</guid><description/></item><item><title>Clairvoyant Monitoring for Signal Temporal Logic</title><link>https://cps-vida.github.io/publications/formats2020_xin_clairvoyant/</link><pubDate>Tue, 21 Sep 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/formats2020_xin_clairvoyant/</guid><description/></item><item><title>DiffRNN: Differential Verification of Recurrent Neural Networks</title><link>https://cps-vida.github.io/publications/formats2021_diffrn/</link><pubDate>Tue, 21 Sep 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/formats2021_diffrn/</guid><description/></item><item><title>Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems</title><link>https://cps-vida.github.io/publications/atva2021_sara_spatiotemp/</link><pubDate>Tue, 21 Sep 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/atva2021_sara_spatiotemp/</guid><description/></item><item><title>Mining Shape Expressions from Positive Examples</title><link>https://cps-vida.github.io/publications/tcad2021_xin_shapexpr/</link><pubDate>Tue, 21 Sep 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/tcad2021_xin_shapexpr/</guid><description/></item><item><title>PerceMon: Online Monitoring for Perception Systems</title><link>https://cps-vida.github.io/publications/preprint-percemon2021/</link><pubDate>Tue, 21 Sep 2021 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/preprint-percemon2021/</guid><description/></item><item><title>Learning from Demonstrations using Signal Temporal Logic</title><link>https://cps-vida.github.io/publications/corl2020_lfd_stl/</link><pubDate>Mon, 16 Nov 2020 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/corl2020_lfd_stl/</guid><description/></item><item><title>Model-based Reinforcement Learning from Signal Temporal Logic Specifications</title><link>https://cps-vida.github.io/publications/preprint_ab_pk_mpcrl_stl/</link><pubDate>Tue, 10 Nov 2020 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/preprint_ab_pk_mpcrl_stl/</guid><description/></item><item><title>Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques</title><link>https://cps-vida.github.io/publications/hscc2020_sara_interpretable/</link><pubDate>Tue, 21 Apr 2020 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/hscc2020_sara_interpretable/</guid><description/></item><item><title>Mining Environment Assumptions for Cyber-Physical System Models</title><link>https://cps-vida.github.io/publications/iccps2020_sara_mining/</link><pubDate>Tue, 21 Apr 2020 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/iccps2020_sara_mining/</guid><description/></item><item><title>Structured Reward Shaping using Signal Temporal Logic specifications</title><link>https://cps-vida.github.io/publications/iros2019-stl-reward/</link><pubDate>Tue, 05 Nov 2019 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/iros2019-stl-reward/</guid><description/></item><item><title>Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning</title><link>https://cps-vida.github.io/publications/preprint-xin-2019-test-and-falsification/</link><pubDate>Wed, 30 Oct 2019 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/preprint-xin-2019-test-and-falsification/</guid><description/></item><item><title>Shape Expressions for Specifying and Extracting Signal Features</title><link>https://cps-vida.github.io/publications/rv2019_xin_shape_expr/</link><pubDate>Tue, 08 Oct 2019 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/rv2019_xin_shape_expr/</guid><description/></item><item><title>Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning</title><link>https://cps-vida.github.io/publications/preprint_kolby_2019_morl/</link><pubDate>Thu, 03 Oct 2019 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/preprint_kolby_2019_morl/</guid><description/></item><item><title>Specifying and Evaluating Quality Metrics for Vision-based Perception Systems</title><link>https://cps-vida.github.io/publications/tqtl_date_2019/</link><pubDate>Mon, 25 Mar 2019 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/publications/tqtl_date_2019/</guid><description/></item><item><title>Anand Balakrishnan</title><link>https://cps-vida.github.io/members/anand/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/anand/</guid><description/></item><item><title>Aniruddh Puranic</title><link>https://cps-vida.github.io/members/aniruddhgp/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/aniruddhgp/</guid><description/></item><item><title>Jyotirmoy Deshmukh</title><link>https://cps-vida.github.io/members/jyo/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/jyo/</guid><description/></item><item><title>Kolby Nottingham</title><link>https://cps-vida.github.io/members/kolby/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/kolby/</guid><description/></item><item><title>Monali Saraf</title><link>https://cps-vida.github.io/members/monali/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/monali/</guid><description/></item><item><title>Navid Hashemi</title><link>https://cps-vida.github.io/members/navid/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/navid/</guid><description/></item><item><title>Parv Kapoor</title><link>https://cps-vida.github.io/members/parv/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/parv/</guid><description/></item><item><title>Sara Mohammadinejad</title><link>https://cps-vida.github.io/members/sara/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/sara/</guid><description/></item><item><title>Sheryl Paul</title><link>https://cps-vida.github.io/members/sheryl/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/sheryl/</guid><description/></item><item><title>Vidisha Kudalkar</title><link>https://cps-vida.github.io/members/vidisha/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/vidisha/</guid><description/></item><item><title>Xin Qin</title><link>https://cps-vida.github.io/members/xin/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/xin/</guid><description/></item><item><title>Yogesh Gajjar</title><link>https://cps-vida.github.io/members/yogesh/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/yogesh/</guid><description/></item><item><title>Yuan Xia</title><link>https://cps-vida.github.io/members/yuanxia/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://cps-vida.github.io/members/yuanxia/</guid><description/></item></channel></rss>