Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / zinoex/intervalmdp.jl issues and pull requests

#71 - Test that the correct error is thrown

Issue - State: open - Opened by Zinoex 29 days ago

#71 - Test that the correct error is thrown

Issue - State: open - Opened by Zinoex 29 days ago

#69 - Mixture model

Pull Request - State: closed - Opened by Zinoex 29 days ago

#67 - Add safety property

Pull Request - State: closed - Opened by Zinoex about 1 month ago

#66 - Change interface for time varying models

Pull Request - State: closed - Opened by Zinoex about 1 month ago

#66 - Change interface for time varying models

Pull Request - State: closed - Opened by Zinoex about 1 month ago

#65 - Switch to Interval Iteration

Issue - State: open - Opened by Zinoex about 1 month ago

#64 - Improve how strategies are applied

Issue - State: closed - Opened by Zinoex about 1 month ago

#64 - Improve how strategies are applied

Issue - State: closed - Opened by Zinoex about 1 month ago

#63 - Refactor bellman! to prepare for mixture models

Pull Request - State: closed - Opened by Zinoex about 1 month ago

#63 - Refactor bellman! to prepare for mixture models

Pull Request - State: closed - Opened by Zinoex about 1 month ago

#62 - Simplify action vectors

Pull Request - State: closed - Opened by Zinoex about 2 months ago

#61 - Add method for canonicalizing (orthogonal) IMDPs

Issue - State: open - Opened by Zinoex about 2 months ago

#60 - Add support for IMPaCT data format

Issue - State: open - Opened by Zinoex about 2 months ago

#60 - Add support for IMPaCT data format

Issue - State: open - Opened by Zinoex about 2 months ago

#59 - More workspace types for OrthogonalIntervalProbabilities

Pull Request - State: closed - Opened by Zinoex 2 months ago

#58 - Multi-threaded OrthogonalIntervalMarkovDecisionProcess

Issue - State: closed - Opened by Zinoex 3 months ago

#57 - Sparse OrthogonalIntervalMarkovDecisionProcess

Issue - State: closed - Opened by Zinoex 3 months ago

#56 - Simplify action vectors

Issue - State: closed - Opened by Zinoex 3 months ago

#56 - Simplify action vectors

Issue - State: closed - Opened by Zinoex 3 months ago

#55 - GPU for OrthogonalIntervalMarkovDecisionProcesses

Issue - State: open - Opened by Zinoex 3 months ago

#55 - GPU for OrthogonalIntervalMarkovDecisionProcesses

Issue - State: open - Opened by Zinoex 3 months ago

#54 - Orthogonal IMDPs

Pull Request - State: closed - Opened by Zinoex 3 months ago

#53 - Remove ParallelProduct

Pull Request - State: closed - Opened by Zinoex 3 months ago

#53 - Remove ParallelProduct

Pull Request - State: closed - Opened by Zinoex 3 months ago

#49 - Test device check

Issue - State: closed - Opened by Zinoex 5 months ago

#48 - Introduce workspaces

Pull Request - State: closed - Opened by Zinoex 6 months ago

#44 - Move the models into separate files

Pull Request - State: closed - Opened by Zinoex 6 months ago

#44 - Move the models into separate files

Pull Request - State: closed - Opened by Zinoex 6 months ago

#43 - Time-varying markov process

Pull Request - State: closed - Opened by Zinoex 6 months ago

#43 - Time-varying markov process

Pull Request - State: closed - Opened by Zinoex 6 months ago

#42 - Check device upload problem construction for better error messages

Pull Request - State: closed - Opened by Zinoex 6 months ago

#42 - Check device upload problem construction for better error messages

Pull Request - State: closed - Opened by Zinoex 6 months ago

#41 - Dense CUDA transition probability matrices

Pull Request - State: closed - Opened by Zinoex 6 months ago

#41 - Dense CUDA transition probability matrices

Pull Request - State: closed - Opened by Zinoex 6 months ago

#40 - Improve device error messages

Issue - State: closed - Opened by Zinoex 6 months ago
Labels: good first issue

#40 - Improve device error messages

Issue - State: closed - Opened by Zinoex 6 months ago
Labels: good first issue

#39 - Remove intermediate probability

Pull Request - State: closed - Opened by Zinoex 6 months ago

#39 - Remove intermediate probability

Pull Request - State: closed - Opened by Zinoex 6 months ago

#38 - Composition of IntervalMarkovProcesses

Issue - State: closed - Opened by Zinoex 6 months ago - 1 comment
Labels: enhancement

#38 - Composition of IntervalMarkovProcesses

Issue - State: closed - Opened by Zinoex 6 months ago - 1 comment
Labels: enhancement

#37 - Control synthesis on CUDA

Pull Request - State: closed - Opened by Zinoex 6 months ago - 1 comment

#37 - Control synthesis on CUDA

Pull Request - State: closed - Opened by Zinoex 6 months ago - 1 comment

#36 - Unify value function

Pull Request - State: closed - Opened by Zinoex 7 months ago - 1 comment

#36 - Unify value function

Pull Request - State: closed - Opened by Zinoex 7 months ago - 1 comment

#35 - Test asserts

Issue - State: closed - Opened by Zinoex 7 months ago
Labels: good first issue

#35 - Test asserts

Issue - State: closed - Opened by Zinoex 7 months ago
Labels: good first issue

#34 - Add safety checks for transition probabilities

Pull Request - State: closed - Opened by Zinoex 7 months ago - 1 comment

#34 - Add safety checks for transition probabilities

Pull Request - State: closed - Opened by Zinoex 7 months ago - 1 comment

#33 - Apply policy to IMDP to obtain IMC

Issue - State: closed - Opened by Zinoex 10 months ago
Labels: good first issue

#32 - Indentation apparently wasn't caught.

Pull Request - State: closed - Opened by Zinoex 10 months ago

#32 - Indentation apparently wasn't caught.

Pull Request - State: closed - Opened by Zinoex 10 months ago

#31 - Fix documentation of reading and writing our own data format

Pull Request - State: closed - Opened by Zinoex 10 months ago

#31 - Fix documentation of reading and writing our own data format

Pull Request - State: closed - Opened by Zinoex 10 months ago

#30 - Read bmdp-tool into an IntervalMarkovChain if num_actions == 1

Issue - State: closed - Opened by Zinoex 10 months ago - 1 comment
Labels: good first issue

#29 - Add tests for data read/write and fix bugs uncovered

Pull Request - State: closed - Opened by Zinoex 10 months ago - 1 comment

#28 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot 10 months ago - 4 comments

#28 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot 10 months ago - 4 comments

#27 - Theory docs

Pull Request - State: closed - Opened by Zinoex 10 months ago - 1 comment

#27 - Theory docs

Pull Request - State: closed - Opened by Zinoex 10 months ago - 1 comment

#26 - Reward optimization

Issue - State: closed - Opened by Zinoex 12 months ago

#26 - Reward optimization

Issue - State: closed - Opened by Zinoex 12 months ago

#25 - Control synthesis

Issue - State: closed - Opened by Zinoex 12 months ago - 1 comment

#25 - Control synthesis

Issue - State: closed - Opened by Zinoex 12 months ago - 1 comment

#24 - Documentation

Pull Request - State: closed - Opened by Zinoex 12 months ago

#23 - Remove StateIntervalProbabilities

Pull Request - State: closed - Opened by Zinoex 12 months ago - 1 comment

#23 - Remove StateIntervalProbabilities

Pull Request - State: closed - Opened by Zinoex 12 months ago - 1 comment

#22 - Avoid alloc

Pull Request - State: closed - Opened by Zinoex 12 months ago

#22 - Avoid alloc

Pull Request - State: closed - Opened by Zinoex 12 months ago

#21 - Remove Vector of StateIntervalProbabilities

Issue - State: closed - Opened by Zinoex about 1 year ago

#21 - Remove Vector of StateIntervalProbabilities

Issue - State: closed - Opened by Zinoex about 1 year ago

#19 - Fix multiple terminal states bug from bmdp format

Pull Request - State: closed - Opened by jmskov about 1 year ago - 1 comment

#19 - Fix multiple terminal states bug from bmdp format

Pull Request - State: closed - Opened by jmskov about 1 year ago - 1 comment

#18 - Analyze CUDA performance trace for small arrays

Issue - State: closed - Opened by Zinoex about 1 year ago

#17 - Use view and reshape to avoid allocating memory

Issue - State: closed - Opened by Zinoex about 1 year ago

#16 - Automatically adapt CUDA kernel launch configuration

Issue - State: closed - Opened by Zinoex about 1 year ago

#15 - IMDP

Pull Request - State: closed - Opened by Zinoex about 1 year ago

#14 - Rational number support

Issue - State: open - Opened by Zinoex about 1 year ago - 1 comment
Labels: enhancement

#13 - Incremental contruction of IMDP/IMC

Issue - State: closed - Opened by Zinoex about 1 year ago

#12 - SparseOrdering to CuSparseOrdering adaptor

Issue - State: closed - Opened by Zinoex about 1 year ago - 1 comment

#11 - Test Interval Value Iteration

Issue - State: closed - Opened by Zinoex about 1 year ago - 1 comment

#10 - O-maximization for dense CUDA matrices

Issue - State: closed - Opened by Zinoex about 1 year ago
Labels: enhancement

#9 - Add more unit test

Pull Request - State: closed - Opened by Zinoex about 1 year ago - 1 comment

#8 - Add framework for specifications

Pull Request - State: closed - Opened by Zinoex about 1 year ago - 1 comment

#7 - IMDP

Issue - State: closed - Opened by Zinoex about 1 year ago - 1 comment

#6 - Translate LTLf to reachability

Issue - State: open - Opened by Zinoex about 1 year ago - 1 comment

#5 - Local sorting on CUDA devices

Pull Request - State: closed - Opened by Zinoex about 1 year ago

#4 - Update symbols for parametric types

Issue - State: closed - Opened by Zinoex about 1 year ago

#3 - CUDA parallel sorting

Issue - State: closed - Opened by Zinoex about 1 year ago