Synthesizing least-limiting guidelines for safety of semi-autonomous systems
暂无分享,去创建一个
[1] Ufuk Topcu,et al. Receding horizon control for temporal logic specifications , 2010, HSCC '10.
[2] Igor Walukiewicz,et al. Permissive strategies: from parity games to safety games , 2002, RAIRO Theor. Informatics Appl..
[3] Emilio Frazzoli,et al. Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.
[4] Marco Faella,et al. Best-Effort Strategies for Losing States , 2008, ArXiv.
[5] Wan Fokkink,et al. Maximally Permissive Controlled System Synthesis for Modal Logic , 2015, SOFSEM.
[6] Ufuk Topcu,et al. Counter-strategy guided refinement of GR(1) temporal logic specifications , 2013, 2013 Formal Methods in Computer-Aided Design.
[7] Emilio Frazzoli,et al. Human-in-the-loop vehicle routing policies for dynamic environments , 2008, 2008 47th IEEE Conference on Decision and Control.
[8] Sandra Hirche,et al. Human-Oriented Control for Haptic Teleoperation , 2012, Proceedings of the IEEE.
[9] A. Ehrenfeucht,et al. Positional strategies for mean payoff games , 1979 .
[10] Krzysztof R. Apt,et al. Lectures in Game Theory for Computer Scientists , 2011 .
[11] Calin Belta,et al. Dealing with Nondeterminism in Symbolic Control , 2008, HSCC.
[12] W. Marsden. I and J , 2012 .
[13] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[14] Manuel Mazo,et al. Design of reward structures for sequential decision-making processes using symbolic analysis , 2013, 2013 American Control Conference.
[15] Lijun Zhang,et al. Model Repair for Markov Decision Processes , 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
[16] Sanjit A. Seshia,et al. Mining assumptions for synthesis , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[17] C. R. Ramakrishnan,et al. Model Repair for Probabilistic Systems , 2011, TACAS.
[18] Krishnendu Chatterjee,et al. Environment Assumptions for Synthesis , 2008, CONCUR.
[19] L. Brim,et al. Faster algorithms for mean-payoff games , 2011, Formal Methods Syst. Des..