research
∙
06/11/2023
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
There has been growing interest in deep reinforcement learning (DRL) alg...
share
research
∙
02/22/2023
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Smart cities operate on computational predictive frameworks that collect...
research
∙
02/19/2023
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
An increasing number of monitoring systems have been developed in smart ...
research
∙
11/12/2022
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Physical therapy (PT) is crucial for patients to restore and maintain mo...
research
∙
11/06/2022
Integrating Voice-Based Machine Learning Technology into Complex Home Environments
To demonstrate the value of machine learning based smart health technolo...
research
∙
06/14/2022
An Intelligent Assistant for Converting City Requirements to Formal Specification
As more and more monitoring systems have been deployed to smart cities, ...
research
∙
06/07/2022
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
An increasing number of monitoring systems have been developed in smart ...
research
∙
02/23/2022
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities
Designing effective emergency response management (ERM) systems to respo...
research
∙
10/31/2020
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities
We present CityPM, a novel predictive monitoring system for smart cities...
research
∙
07/11/2020
MFED: A System for Monitoring Family Eating Dynamics
Obesity is a risk factor for many health issues, including heart disease...
research
∙
08/06/2019
Runtime Monitoring of Safety and Performance Requirements in Smart Cities
With the increasing number of smart services implemented in smart cities...
research
∙
08/06/2019