Skip to content

Commit

Permalink
Fix documentation link
Browse files Browse the repository at this point in the history
  • Loading branch information
Zinoex committed Jan 28, 2025
1 parent 4e66612 commit 1680792
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
# IntervalMDPAbstractions.jl - Abstraction-based verification and synthesis of stochastic systems via IMDPs

[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://Zinoex.github.io/IntervalMDPAbstractions.jl/stable/)
[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://Zinoex.github.io/IntervalMDPAbstractions.jl/dev/)
[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://baymler.com/IntervalMDPAbstractions.jl/dev/)
[![Build Status](https://github.com/Zinoex/IntervalMDPAbstractions.jl/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/Zinoex/IntervalMDPAbstractions.jl/actions/workflows/CI.yml?query=branch%3Amain)
[![Coverage](https://codecov.io/gh/Zinoex/IntervalMDPAbstractions.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/Zinoex/IntervalMDPAbstractions.jl)

Expand Down

0 comments on commit 1680792

Please sign in to comment.