Skip to content

@risk-sensitive-reachability Risk-Sensitive Reachability

Change the repository type filter

All

    Repositories list

    7 repositories

    • IEEE-TAC-2021

      Public
      Analysis code to generate figures and artifacts presented in Chapman, et al., “Risk-sensitive safety analysis using Conditional Value-at-Risk,” submitted to IEE…
      MATLAB
      •0•7•0•0•Updated Jun 20, 2023Jun 20, 2023

    • RSSAVSA-2021

      Public
      Analysis code to generate figures and artifacts presented in Chapman, Fauss, and Smith, "On optimizing the Conditional Value-at-Risk of a maximum cost for risk-…
      MATLAB
      •0•2•0•0•Updated Aug 14, 2022Aug 14, 2022

    • IEEE-TCST-2021

      Public
      Analysis code to generate figures and artifacts presented in K. M. Smith and M. P. Chapman, “On Exponential Utility and Conditional Value-at-Risk as Risk-Averse…
      Mathematica
      •2•3•0•0•Updated Aug 8, 2021Aug 8, 2021

    • helperOC

      Public
      Fork of helperOC by the HJ Reachability Group at UC Berkeley (https://github.com/HJReachability/helperOC). The 'octave' branch contains updates that provide par…
      MATLAB
      •41•1•0•0•Updated May 5, 2020May 5, 2020

    • ReachabilityAnalysisAsADesignToolForStormwaterSystems

      Public
      Analysis code to generate figures and artifacts presented in Chapman, et al., “Reachability Analysis as a Design Tool for Stormwater Systems,” in 6th IEEE Confe…
      MATLAB
      •2•1•0•0•Updated Apr 29, 2020Apr 29, 2020

    • IEEE-TAC-2019

      Public
      Analysis code to generate figures and artifacts presented in Chapman, et al., “Risk-sensitive safety specifications for stochastic systems using Conditional Val…
      MATLAB
      •5•5•0•0•Updated Jan 19, 2020Jan 19, 2020

    • ToolboxLS

      Public
      Clone of Ian M. Mitchell's ToolboxLS repository. (https://bitbucket.org/ian_mitchell/toolboxls)
      MATLAB
      •
      Other
      •5•14•0•0•Updated Jan 18, 2020Jan 18, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.
    ⚡