Fetching the paper…
Reading the bibliography…
Control systems that satisfy temporal logic specifications have become increasingly popular due to their applicability to robotic systems.
Constructing automata from temporal logic formulas: A tutorial?
P. Wolper · 2000
Earlier work this paper cites.
Convex optimization
S. Boyd and L. Vandenberghe · 2004
Earlier work this paper cites.
Yalmip: A toolbox for modeling and optimization in matlab
J. Löfberg · 2004
Earlier work this paper cites.
Monitoring temporal properties of continuous signals
O. Maler and D. Nickovic · 2004
Earlier work this paper cites.
Temporal logic motion planning for mobile robots
G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas · 2005
Earlier work this paper cites.
From MITL to timed automata
O. Maler, D. Nickovic, and A. Pnueli · 2006
Earlier work this paper cites.
Synthesis of reactive (1) designs
N. Piterman, A. Pnueli, and Y. Sa’ar · 2006
Earlier work this paper cites.
Symbolic planning and control of robot motion [grand challenges of robotics]
C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas · 2007
Earlier work this paper cites.
Principles of Model Checking
C. Baier and J.-P. Katoen · 2008
Earlier work this paper cites.
Temporal logic motion planning for dynamic robots
G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas · 2009
Earlier work this paper cites.
Robustness of temporal logic specifications for continuous-time signals
G. E. Fainekos and G. J. Pappas · 2009
Cited alongside, same era.
Robust satisfaction of temporal logic over real-valued signals
A. Donzé and O. Maler · 2010
Cited alongside, same era.
Robustness analysis for value-freezing signal temporal logic
L. Brim, T. Vejpustek, D. Šafránek, and J. Fabriková · 2013
Cited alongside, same era.
Model predictive control with signal temporal logic specifications
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia · 2014
Cited alongside, same era.
Time robustness in mtl and expressivity in hybrid system falsification
T. Akazaki and I. Hasuo · 2015
Cited alongside, same era.
Robust model predictive control for signal temporal logic synthesis
S. S. Farahani, V. Raman, and R. M. Murray · 2015
Diagnosis and repair for synthesis from signal temporal logic specifications
S. Ghosh, D. Sadigh, P. Nuzzo, V. Raman, A. Donzé, A. L. Sangiovanni-Vincentelli, S. S. Sastry, and S. A. Seshia · 2016
Closest in time.
Gurobi optimizer reference manual
Inc. Gurobi Optimization · 2016
Closest in time.
Quantitative monitoring of stl with edit distance
S. Jakšić, E. Bartocci, R. Grosu, and D. Ničković · 2016
Closest in time.
Cooperative task planning of multi-agent systems under timed temporal specifications
A. Nikou, J. Tumova, and D. V. Dimarogonas · 2016
Closest in time.
Blustl: A model predictive control toolbox with signal temporal logic constraints
V. Raman and A. Donzé · 2016
Closest in time.
Temporal logic as filtering
A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu · 2016
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Multi-agent plan reconfiguration under local ltl specifications
M. Guo and D. V. Dimarogonas · 2015
Cited alongside, same era.
Reactive synthesis from signal temporal logic specifications
V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia · 2015
Cited alongside, same era.
Robust temporal logic model predictive control
S. Sadraddini and C. Belta · 2015
Cited alongside, same era.
Robust linear temporal logic
P. Tabuada and D. Neider · 2016
Closest in time.
Robust motion planning employing signal temporal logic
L. Lindemann and D. V. Dimarogonas · 2017
Closest in time.
Smc: satisfiability modulo convex optimization
Yasser Shoukry, Pierluigi Nuzzo, Alberto L Sangiovanni-Vincentelli, Sanjit A Seshia, George J Pappas, and Paulo Tabuada · 2017
Closest in time.