Dependable Cyber-Physical Systems (DCPS) Lab

The 2nd paper is titled “Model Checking Time Window Temporal Logic for Hyperproperties”. This paper introduces a model checking approach for HyperTWTL specifications-- a domain-specific formal specification language for robotics.

The first paper is titled “QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring”. This paper proposes the novel quality-aware time window temporal logic (QTWTL) with two operators for counting and aggregation operations.

We are delighted that two of our papers got accepted in the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023). #robotics #embeddedsystems #security #esweek #esweek23 #formalverification #logic #automatedreasoning #memocode23

Our new paper is now out on IEEE Robotics and Automation Letters (IEEE RA-L). We proposed a new logic HyperTWTL, Hyperproperties for robotic motion planning. Congratulations to Ernest Bonnah !

DCPS Ph.D. student Ayesha Siddique presented two papers on approximate SNN accelarator reliability & security today in @DateConference 2023 in Anrwerp, Belgium. Congratulations @AyeshaSiddiq_ ! #reliability #security #snn #ai #dnn #accelerators #energyefficiency

@riponkundu69 recently presented our work at #IUI2023 on applying explainable AI for explaining and reducing cybersickness model size on energy-constrained VR headsets. Full paper: dl.acm.org/doi/10.1145/35… #explainableai #xai #machinelearning #virtualreality #cybersickness

Congratulations to Ripan Kumar kundu @riponkundu69. He has been awarded a $3500 travel grant from National Science Foundation (NSF) to attend and present his paper at the #IUI2023 in Sydney, Australia.

Congratulations to @AyeshaSiddiq_ for leading this excellent work.

A great start of 2023 with a paper acceptance in IEEE Transactions on Very Large Scale Integration (VLSI) Systems on Reliability analysis and improvement of energy-efficient approximate DNN accelerators. The pre-print version is available here: lnkd.in/gkBt6t8D

Congratulations to @riponkundu69 for leading the work!

Delighted to share that our paper "VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality " got accepted in @ACMIUI conference (core rank A). All the reviewers seem to be excited about the work with 4/5 uniform ratings.

Our paper titled “LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI” has been accepted in IEEE VR @IEEEVR conference. Congratulations @riponkundu69 for his second A* ranked paper in the first year of PhD! #ieeevr23

Congratulations to the student authors: Ayesha Siddique, and Syed Tihaam Ahmad. We will share the preprints soon.

Alhamdulillah, we submitted two papers this year to the @DateConference and both were accepted: 1.  Improving Reliability of SNN through Fault Aware Threshold Voltage Optimization 2. Security-Aware Approximate SNN #DATE23 #DATE #SNN #security #machinelearning #approximation

Ripan Kumar Kundu @riponkundu69 successfully presented our paper “TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning” at the ISMAR 2022 conference in Singapore. The preprint of our paper is available here: arxiv.org/abs/2209.05257

Our recent work on applying explainable machine learning to VR cybersickness detection has been featured in Mizzou EECS Newsletter. Congratulations to the team!  #machinelearning #XAI #VR #ISMAR22 engineering.missouri.edu/mizzou-enginee…

Our new paper “TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning” has been accepted at IEEE International Symposium on Mixed and Augmented Reality (ISMAR). Preprint will be available soon. Congratulations to @riponkundu69 !

Congratulations to @AyeshaSiddiq_ for receiving the DAC Young Fellowship 2022. #DAC59

DCPS Iftar (Ramadan Dinner) 2022

Our paper titled "Runtime Monitoring of Time Window Temporal Logic" has been accepted for publication in the IEEE Robotics and Automation Letters (IEEE RA-L) journal. Congratulations Ernest ! The preprint is available here: kahoque.com/papers/RAL2022… #robotics #formalmethod