The interface between probabilistic model checking and data-driven policy learning.
☆20May 14, 2026Updated 2 months ago
Alternatives and similar repositories for COOL-MC
Users that are interested in COOL-MC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆17Aug 12, 2024Updated last year
- Density Constrained Reinforcement Learning☆12Mar 24, 2023Updated 3 years ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Jul 15, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- OpenAI Gym 课程练习笔记☆15Apr 16, 2024Updated 2 years ago
- ☆14May 30, 2019Updated 7 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- A System-Oriented Wargame Framework for Adversarial ML☆10Apr 24, 2023Updated 3 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Non-stationary Off-policy Evaluation☆13Nov 8, 2018Updated 7 years ago
- A toy peer-to-peer system written in tokio.☆13May 25, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Browser extension that enhances Google Scholar with citation-based sorting and venue ranking badges (CORE, SJR, JCR, ERA, QUALIS, h5-inde…☆33Jul 29, 2026Updated last week
- OASIS TC Open Repository: A GitHub public repository for development of a python library to transform between data-interchange formats (s…☆15Feb 10, 2022Updated 4 years ago
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 4 years ago
- Constrained episodic reinforcement learning in concave-convex and knapsack settings☆11Oct 3, 2023Updated 2 years ago
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- simple tutorial on evolutionary game theory☆19Nov 22, 2023Updated 2 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- Implementation of "POPCORN: Partially Observed Prediction Constrained Reinforcement Learning" (Futoma, Hughes, Doshi-Velez, AISTATS 2020)☆11May 19, 2021Updated 5 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A verifier that integrates LLMs into automated C program verification☆16Apr 4, 2026Updated 4 months ago
- Convergent Policy Optimization for Safe Reinforcement Learning☆11Oct 26, 2019Updated 6 years ago
- Training a vision-based agent with the Deep Q Learning Network (DQN) in Atari's Breakout environment, implementation in Tensorflow.☆18Dec 12, 2018Updated 7 years ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆16Updated this week
- PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL☆26Jun 30, 2026Updated last month
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated last month
- Code for SPIBB-DQN and Soft-SPIBB-DQN☆11May 5, 2020Updated 6 years ago
- ☆33Oct 3, 2023Updated 2 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆19Apr 7, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- Reinforcement learning training framework for entity-gym environments.☆17Mar 18, 2024Updated 2 years ago
- Simulator for online credit card transactions with multi-modal authentication☆21Nov 7, 2017Updated 8 years ago
- Introduction to Python for Data Science☆13Oct 11, 2024Updated last year
- Scaling safe exploration to vision control☆15Feb 19, 2025Updated last year
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago