Author:
Girard Antoine,Eqtami Alina
Funder
European Research Council
Agence Nationale de la Recherche
Horizon 2020 Framework Programme
Labex
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference40 articles.
1. Value function and optimal trajectories for a maximum running cost control problem with state constraints. Application to an abort landing problem;Assellaou;ESAIM. Mathematical Modelling and Numerical Analysis,2018
2. Principles of model checking;Baier,2008
3. Differential games with maximum cost;Barron;Nonlinear Analysis. Theory, Methods & Applications,1990
4. Formal methods for discrete-time dynamical systems;Belta,2017
5. Dynamic programming and optimal control, Vol. 2;Bertsekas,2012
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献