├── .gitignore ├── LICENSE ├── MDP_TG ├── .gitignore ├── __init__.py ├── dra.py ├── figures │ ├── mdp_tg.png │ └── risk.png ├── lp.py ├── ltl2ba ├── ltl2dra.py ├── ltl2dstar ├── mdp.py ├── mkmovie.sh ├── promela.py └── vis.py ├── README.md ├── complex_case_study ├── case_study.py ├── case_study2.py ├── case_study3.py ├── case_study4.py ├── case_study_changeSize.py ├── case_study_rex.py └── case_study_rex_changesize.py ├── pickle_for_prism ├── dra_to_prism.py ├── mdp_to_prism.py └── prod_mdp_to_prism.py ├── plan_and_save.py ├── test_example.py └── v_rep ├── load_model.py ├── mdp_ltl_1.ttt ├── mdp_ltl_2.ttt ├── plan_execution.py ├── plan_synthesis.py ├── remoteApi.dylib ├── vrep.png ├── vrep.py └── vrepConst.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/LICENSE -------------------------------------------------------------------------------- /MDP_TG/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/.gitignore -------------------------------------------------------------------------------- /MDP_TG/__init__.py: -------------------------------------------------------------------------------- 1 | # -*- coding: utf-8 -*- 2 | -------------------------------------------------------------------------------- /MDP_TG/dra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/dra.py -------------------------------------------------------------------------------- /MDP_TG/figures/mdp_tg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/figures/mdp_tg.png -------------------------------------------------------------------------------- /MDP_TG/figures/risk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/figures/risk.png -------------------------------------------------------------------------------- /MDP_TG/lp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/lp.py -------------------------------------------------------------------------------- /MDP_TG/ltl2ba: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/ltl2ba -------------------------------------------------------------------------------- /MDP_TG/ltl2dra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/ltl2dra.py -------------------------------------------------------------------------------- /MDP_TG/ltl2dstar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/ltl2dstar -------------------------------------------------------------------------------- /MDP_TG/mdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/mdp.py -------------------------------------------------------------------------------- /MDP_TG/mkmovie.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/mkmovie.sh -------------------------------------------------------------------------------- /MDP_TG/promela.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/promela.py -------------------------------------------------------------------------------- /MDP_TG/vis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/MDP_TG/vis.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/README.md -------------------------------------------------------------------------------- /complex_case_study/case_study.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study.py -------------------------------------------------------------------------------- /complex_case_study/case_study2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study2.py -------------------------------------------------------------------------------- /complex_case_study/case_study3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study3.py -------------------------------------------------------------------------------- /complex_case_study/case_study4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study4.py -------------------------------------------------------------------------------- /complex_case_study/case_study_changeSize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study_changeSize.py -------------------------------------------------------------------------------- /complex_case_study/case_study_rex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study_rex.py -------------------------------------------------------------------------------- /complex_case_study/case_study_rex_changesize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/complex_case_study/case_study_rex_changesize.py -------------------------------------------------------------------------------- /pickle_for_prism/dra_to_prism.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/pickle_for_prism/dra_to_prism.py -------------------------------------------------------------------------------- /pickle_for_prism/mdp_to_prism.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/pickle_for_prism/mdp_to_prism.py -------------------------------------------------------------------------------- /pickle_for_prism/prod_mdp_to_prism.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/pickle_for_prism/prod_mdp_to_prism.py -------------------------------------------------------------------------------- /plan_and_save.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/plan_and_save.py -------------------------------------------------------------------------------- /test_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/test_example.py -------------------------------------------------------------------------------- /v_rep/load_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/load_model.py -------------------------------------------------------------------------------- /v_rep/mdp_ltl_1.ttt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/mdp_ltl_1.ttt -------------------------------------------------------------------------------- /v_rep/mdp_ltl_2.ttt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/mdp_ltl_2.ttt -------------------------------------------------------------------------------- /v_rep/plan_execution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/plan_execution.py -------------------------------------------------------------------------------- /v_rep/plan_synthesis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/plan_synthesis.py -------------------------------------------------------------------------------- /v_rep/remoteApi.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/remoteApi.dylib -------------------------------------------------------------------------------- /v_rep/vrep.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/vrep.png -------------------------------------------------------------------------------- /v_rep/vrep.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/vrep.py -------------------------------------------------------------------------------- /v_rep/vrepConst.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MengGuo/P_MDP_TG/HEAD/v_rep/vrepConst.py --------------------------------------------------------------------------------