Search Results for author:
Found 5 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).
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.
V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving
Vehicle-to-everything (V2X) communication techniques enable the collaboration between vehicles and many other entities in the neighboring environment, which could fundamentally improve the perception system for autonomous driving.
