Pinned Loading

1. Counterfactual_Explanation_for_RL Counterfactual_Explanation_for_RL Public

   Counterfactual explanations for continuous reinforcement learning with simulation in T1D and Gym environments.

   Python 1

2. stlu_quantitative_predictative_monitor stlu_quantitative_predictative_monitor Public

   Quantitative predicative monitoring and adaptive control based on Signal Temporal Logic with uncertainty in Cyber-Physical-System

   Python

3. smartCitySim smartCitySim Public

   A modular smart city simulator with transportation, energy, and emission modeling, integrating real-world uncertainty via sensing noise, device failures, and random events. Built on SUMO with OSM s…

   Python 1

4. trust_aware_hrc_carla_sim trust_aware_hrc_carla_sim Public

   Human trust-aware motion planning under temporal logic specifications in autonomous driving simulation using CARLA.

   C++ 2