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/17/2022
