Fetching the paper…
Reading the bibliography…
This paper presents a methodology for temporal logic verification of discrete-time stochastic systems.
Kushner, H.J.: On the stability of stochastic dynamical systems. Proceedings of the National Academy of Sciences 53(1), 8–12 (1965)
1965
Earlier work this paper cites.
Vincent, T.L., Yu, J.: Control of a chaotic system. Dynamics and Control 1(1), 35–52 (1991)
1991
Earlier work this paper cites.
Henriksen, J.G., Jensen, J., Jørgensen, M., Klarlund, N., Paige, R., Rauhe, T., Sandholm, A.: Mona: Monadic second-order logic in practice. In: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. pp. 89–110. Springer (1995)
1995
Earlier work this paper cites.
Kupferman, O., Vardi, M.: Model checking of safety properties. In: International Conference on Computer Aided Verification. pp. 172–183. Springer (1999)
1999
Earlier work this paper cites.
Sturm, J.F.: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization methods and software 11(1-4), 625–653 (1999), http://sedumi.ie.lehigh.edu/
1999
Earlier work this paper cites.
Prajna, S., Papachristodoulou, A., Parrilo, P.A.: Introducing SOSTOOLS: a general purpose sum of squares programming solver. In: Proceedings of the 41st IEEE Conference on Decision and Control. vol. 1, pp. 741–746 (2002), http://www.cds.caltech.edu/sostools/
2002
Earlier work this paper cites.
Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Mathematical programming 96(2), 293–320 (2003)
2003
Earlier work this paper cites.
Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education, 2 edn. (2003)
2003
Earlier work this paper cites.
Klein, J., Baier, C.: Experiments with deterministic ω \omega -automata for formulas of linear temporal logic. Theoretical Computer Science 363(2), 182–195 (2006)
2006
Earlier work this paper cites.
Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Transactions on Automatic Control 52(8), 1415–1428 (2007)
2007
Earlier work this paper cites.
Baier, C., Katoen, J.P., Larsen, K.G.: Principles of model checking. MIT press (2008)
2008
Earlier work this paper cites.
Tabuada, P.: Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media (2009)
2009
Cited alongside, same era.
Abate, A., Katoen, J.P., Mereacre, A.: Quantitative automata model checking of autonomous stochastic hybrid systems. In: Proceedings of the 14th international conference on Hybrid systems: computation and control. pp. 83–92. ACM (2011)
2011
Cited alongside, same era.
Ayala, A.I.M., Andersson, S.B., Belta, C.: Probabilistic control from time-bounded temporal logic specifications in dynamic environments. In: 2012 IEEE International Conference on Robotics and Automation. pp. 4705–4710 (2012)
2012
Cited alongside, same era.
Steinhardt, J., Tedrake, R.: Finite-time regional verification of stochastic non-linear systems. The International Journal of Robotics Research 31(7), 901–923 (2012)
2012
Cited alongside, same era.
Lahijanian, M., Andersson, S.B., Belta, C.: Formal verification and synthesis for discrete-time stochastic systems. IEEE Transactions on Automatic Control 60(8), 2031–2045 (2015)
2015
Later among the works it cites.
Maity, D., Baras, J.S.: Motion planning in dynamic environments with bounded time temporal logic specifications. In: 2015 23rd Mediterranean Conference on Control and Automation. pp. 940–946 (2015)
2015
Later among the works it cites.
Soudjani, S., Abate, A., Majumdar, R.: Dynamic Bayesian networks as formal abstractions of structured stochastic processes. In: 26th International Conference on Concurrency Theory. pp. 1–14. Dagstuhl Publishing, Madrid, Spain (2015)
2015
Later among the works it cites.
Soudjani, S., Gevaerts, C., Abate, A.: FAUST 2 : Formal Abstractions of Uncountable-STate STochastic processes. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 272–286. Springer Berlin Heidelberg, Berlin, Heidelberg (2015)
2015
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: International Joint Conference on Artificial Intelligence. vol. 13, pp. 854–860 (2013)
2013
Cited alongside, same era.
Soudjani, S., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM Journal on Applied Dynamical Systems 12(2), 921–956 (2013)
2013
Cited alongside, same era.
Tkachev, I., Abate, A.: Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. In: Proceedings of the 16th international conference on Hybrid systems: computation and control. pp. 283–292. ACM (2013)
2013
Cited alongside, same era.
Dimitrova, R., Majumdar, R.: Deductive control synthesis for alternating-time logics. In: 2014 International Conference on Embedded Software (EMSOFT). pp. 1–10 (2014)
2014
Cited alongside, same era.
Saha, I., Ramaithitima, R., Kumar, V., Pappas, G.J., Seshia, S.A.: Automated composition of motion primitives for multi-robot systems from safe LTL specifications. In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems. pp. 1525–1532 (2014)
2014
Cited alongside, same era.
Soudjani, S., Abate, A.: Precise approximations of the probability distribution of a Markov process in time: an application to probabilistic invariance. In: TACAS, LNCS, vol. 8413, pp. 547–561. Springer (2014)
2014
Cited alongside, same era.
De Giacomo, G., Vardi, M.Y.: Synthesis for LTL and LDL on finite traces. In: International Joint Conference on Artificial Intelligence. vol. 15, pp. 1558–1564 (2015)
2015
Cited alongside, same era.
Later among the works it cites.
Duret-Lutz, A., Lewkowicz, A., Fauchille, A., Michaud, T., Renault, E., Xu, L.: Spot 2.0: A framework for LTL and \ \backslash omega -automata manipulation. In: International Symposium on Automated Technology for Verification and Analysis. pp. 122--129. Springer (2016)
2016
Later among the works it cites.
Postoyan, R., Nesic, D.: Time-triggered control of nonlinear discrete-time systems. In: 2016 IEEE 55th Conference on Decision and Control. pp. 6814–6819 (2016)
2016
Later among the works it cites.
2016
Later among the works it cites.
Huang, C., Chen, X., Lin, W., Yang, Z., Li, X.: Probabilistic safety verification of stochastic hybrid systems using barrier certificates. ACM Transactions on Embedded Computing Systems 16(5s), 186 (2017)
2017
Later among the works it cites.
Jagtap, P., Zamani, M.: QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. In: International Conference on Quantitative Evaluation of Systems. pp. 309–313. Springer (2017), http://www.hcs.ei.tum.de/software/quest/
2017
Later among the works it cites.
Wisniewski, R., Bujorianu, M.L.: Stochastic safety analysis of stochastic hybrid systems. In: 2017 IEEE 56th Annual Conference on Decision and Control. pp. 2390–2395 (2017)
2017
Later among the works it cites.
Lavaei, A., Soudjani, S., Zamani, M.: From dissipativity theory to compositional construction of finite Markov decision processes. In: Hybrid Systems: Computation and Control (HSCC). pp. 21–30. ACM, New York, NY, USA (2018)
2018
Closest in time.