Skip to content

Instantly share code, notes, and snippets.

View MaximeBouton's full-sized avatar

Maxime MaximeBouton

30 followers · 4 following
View GitHub Profile
@MaximeBouton
MaximeBouton / Project.toml
Created August 13, 2020 05:16
Project.toml for running the rock sample model checking problem on julia 1.3
[deps]
BeliefUpdaters = "8bb6e9a1-7d73-552c-a44a-e5dc5634aac4"
Cairo = "159f3aea-2a34-519c-b102-8c37f9878175"
POMDPGifs = "7f35509c-0cb9-11e9-0708-2928828cdbb7"
POMDPModelChecking = "abefb91b-a28c-5ab9-9bd9-026e532d7b0e"
POMDPModelTools = "08074719-1b2a-587c-a292-00f91cc44415"
POMDPSimulators = "e0d0a172-29c6-5d4e-96d0-f262df5d01fd"
POMDPs = "a93abf59-7444-517b-a68a-c42f96afdd7d"
ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
@MaximeBouton
MaximeBouton / Manifest.toml
Created August 13, 2020 05:13
Manifest.toml for running the rock sample model checking example on julia 1.3
# This file is machine-generated - editing it directly is not advised
[[ArnoldiMethod]]
deps = ["DelimitedFiles", "LinearAlgebra", "Random", "SparseArrays", "StaticArrays", "Test"]
git-tree-sha1 = "2b6845cea546604fb4dca4e31414a6a59d39ddcd"
uuid = "ec485272-7323-5ecc-a04f-4719b315124d"
version = "0.0.4"
[[Base64]]
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
@MaximeBouton
MaximeBouton / build_tarballs.jl
Created April 12, 2020 22:24
# Note that this script can accept some limited command-line arguments, run
# `julia build_tarballs.jl --help` to see a usage message.
using BinaryBuilder, Pkg
name = "POMDPSolve"
version = v"5.4.0"
# Collection of sources required to complete build
sources = [
ArchiveSource("http://www.pomdp.org/code/pomdp-solve-5.4.tar.gz", "36aacbddc4b66a332e7b07d3902eba75ddf4d6e654a3f19ab4043084165f4dc0")
@MaximeBouton
MaximeBouton / private_register.jl
Last active February 26, 2020 04:46
JuliaPOMDP registration script
# usage: julia private_register.jl path/to/package
using Pkg
pkg"activate ."
# Make sure to use known good version of Registrator
pkg"add RegistryTools"
using RegistryTools
const general_reg_url = "https://github.com/JuliaRegistries/General"
# Change this to your own registry:
const private_reg_url = "https://github.com/JuliaPOMDP/Registry"
@MaximeBouton
MaximeBouton / sparse_vi_terminal_states.jl
Created January 31, 2019 05:40
Example of discrepancies between SparseVI and VI when handling terminal states
using POMDPs
using POMDPModelTools
using DiscreteValueIteration
using Parameters
@with_kw struct TwoStatesMDP <: MDP{Int, Int}
γ::Float64 = 0.95
end
POMDPs.n_states(mdp::TwoStatesMDP) = 2
@MaximeBouton
MaximeBouton / Project.toml
Created November 30, 2018 17:36
Project.toml for JuliaLang/Pkg.jl/#942
[deps]
ArgParse = "c7e460c6-2fb9-53a9-8c5b-16f535851c63"
AutoUrban = "1385418a-9289-5a49-ab93-843b508de4cb"
AutoViz = "82aa6e0c-a491-5edf-8d4b-c16b98e4ea17"
AutomotiveDrivingModels = "99497e54-f3d6-53d3-a3a9-fa9315a7f1ba"
AutomotivePOMDPs = "dca8afc0-c686-11e8-0934-712707da73aa"
AutomotiveSensors = "9ec66b5e-c605-11e8-1454-ede748df6f96"
BSON = "fbb218c0-5317-5bc6-957e-2ee96dd4b1f0"
BeliefUpdaters = "8bb6e9a1-7d73-552c-a44a-e5dc5634aac4"
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"