Search Results for author:
Found 12 papers, 1 papers with code
Formal Logic Enabled Personalized Federated Learning Through Property Inference
Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intelligence of Things (AIoT).
Auto311: A Confidence-guided Automated System for Non-emergency Calls
Emergency and non-emergency response systems are essential services provided by local governments and critical to protecting lives, the environment, and property.
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational purposes in this field.
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
The STL requirements are designed to include both task specifications according to the objective of each agent and safety specifications, and the robustness values of the STL specifications are leveraged to generate rewards.
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks.
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
The evaluation results on real-world city requirements show that CitySpec increases the sentence-level accuracy of requirement specification from 59. 02% to 86. 64%, and has strong adaptability to a new city and a new domain (e. g., the F1 score for requirements in Seattle increases from 77. 6% to 93. 75% with online learning).
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Physical therapy (PT) is crucial for patients to restore and maintain mobility, function, and well-being.
An Intelligent Assistant for Converting City Requirements to Formal Specification
In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities.
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements.
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities
Designing effective emergency response management (ERM) systems to respond to incidents such as road accidents is a major problem faced by communities.
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks
In this paper, we develop a new temporal logic-based learning framework, STLnet, which guides the RNN learning process with auxiliary knowledge of model properties, and produces a more robust model for improved future predictions.
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets.
