https://rvl.cs.toronto.edu/backwards-reachability/ Backwards Reachability: A Tutorial Using reachability analysis to compute safety guarantees for safety critical dynamic systems. rvl.cs.toronto.edu http://sylviaherbert.com/reachability-decomposition Reachability Decomposition — The Safe Autonomous Systems Lab Hamilton Jacobi (HJ) reachability allows us to take the physical dynamics of a system and construct a set that describes all all initial states from which the system can achieve a goal (or...
![[강화학습 - Safe RL] Reachability Analysis에 대한 모든 내용 홈페이지](https://blogimgs.pstatic.net/nblog/mylog/post/og_default_image_160610.png)
#
hj
#
reachability
#
안전강화학습
#
안전제어
#
장애물
#
제어
#
충돌
#
회피
![[대학원 지원] 대학원 지원 시 Taught program vs Research program, Ma or Msc vs Mphil 무엇을 선택해야 할까? (차이점, 각각의 장단점)](https://mblogthumb-phinf.pstatic.net/MjAyMDExMDJfMTA3/MDAxNjA0Mjk1NzA4Mjg2._SDiF5na1jS1FgOL42gO5ohcBEm1JZf91sWEf3UhNg4g.RX9O_UdzvNHh-jfqDNsUKu4uXCrHjW7KRJ4P9i88OFYg.PNG.ehddbs1213/image.png?type=w2)
![[논문요약] The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical](https://mblogthumb-phinf.pstatic.net/MjAyMjA5MTlfMTE4/MDAxNjYzNTc5ODA3MzIw.RXGyxCImwOB10HvFbMKQHUuPEd__A_a2jrRYRG06Jmgg.H4OHeX_g14PSTxbdonCizZ92GkBaPWeH5rnN0okECxEg.JPEG.ehddbs1213/aaron-burden-CKlHKtCJZKk-unsplash.jpg?type=w2)
![[리눅스 우분투] 깃허브 Github 설치 및 기본세팅](https://mblogthumb-phinf.pstatic.net/MjAyMjA5MjZfOTMg/MDAxNjY0MTc4NjEwNjA4.q3_gchuuYJLaRGjPo3ECyDZ_wM7Wm8Gzarf_kvEg_f0g.043yez0BjNOQMqnkrjJVeVaObos2clzkbbP_i2GxbFwg.PNG.ehddbs1213/image.png?type=w2)