Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking
Results and benchmarks
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking presents a reinforcement learning method.
Benchmark evidence is limited
Evidence graph: 2 refs, 1 links.
Utility signals: depth 60/100, grounding 58/100, status medium.
Implementation
Historical official implementation (not recommended for new builds)
Only a historical official implementation is available
Use with caution for new projects; verify against current tooling and maintained community alternatives.
lava-lab/cool-mc · 20 stars · Last push May 14, 2026
Only historical official repository was found (lava-lab/cool-mc).
Open lava-lab/cool-mc- Only historical official implementation is available
- No direct maintained implementation is currently verified.
- Only historical official repository was found: lava-lab/cool-mc.
- No maintained paper-verified implementation met reliability thresholds.
Compare implementation paths
Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.
- Maintenance
- Recently updated
- Confidence
- High
- Reproducibility
- Limited
- Stars
- 20
- Last push
- May 14, 2026 (105d)
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
- No CI pipeline detected
- No tagged releases
- No Docker setup
- Maintenance
- Stale
- Confidence
- High
- Reproducibility
- Limited
- Stars
- 3
- Last push
- Dec 9, 2022 (1357d)
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
- No push in 12+ months
- No CI pipeline detected
- No tagged releases
Reproduction readiness
Setup required
Dependencies pinned, manual setup needed
- lava-lab/cool-mc has pyproject.toml but requires manual environment setup.
- No Dockerfile, so you will set up the environment manually.
- No CI pipeline, so test coverage is unknown.
Hardware requirements
- Expect multi-day setup/compute for meaningful reproduction based on current guidance.
Quick start
git clone https://github.com/lava-lab/cool-mc.git
pip install -e . Validation caveat
Repositories and ecosystem
Official
- lava-lab/mc_piaConfidence: High
LAVA-LAB/MC_PIA
3 stars · 0 forks · Last push Dec 9, 2022
Community
No additional community repositories detected yet.
Hugging Face artifacts
No trustworthy direct or curated related Hugging Face artifacts were found yet. Use targeted searches to quickly locate candidate models, datasets, and demos.
Tip: start with models, then check datasets and spaces if you need evaluation data or demos.
Research context
Tasks
None detected
Methods
Reinforcement learning
Domains
None detected
Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.
Open in HFEPXJump to Paper2Code search queries derived from this paper's research context.
Data includes links from Papers with Code ( CC-BY-SA-4.0 ).