Year |
Citation |
Score |
2019 |
Yaghoubi S, Fainekos G. Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach Acm Transactions in Embedded Computing Systems. 18: 107. DOI: 10.1145/3358239 |
0.347 |
|
2018 |
Yaghoubi S, Fainekos G. Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time Ifac-Papersonline. 51: 103-108. DOI: 10.1016/J.Ifacol.2018.08.018 |
0.345 |
|
2018 |
Nguyen LV, Hoxha B, Johnson TT, Fainekos G. Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. Ifac-Papersonline. 51: 67-72. DOI: 10.1016/J.Ifacol.2018.08.012 |
0.404 |
|
2018 |
Hoxha B, Dokhanchi A, Fainekos GE. Mining parametric temporal logic properties in model-based design for cyber-physical systems International Journal On Software Tools For Technology Transfer. 20: 79-93. DOI: 10.1007/S10009-017-0447-4 |
0.364 |
|
2017 |
Dokhanchi A, Hoxha B, Fainekos G. Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems Acm Transactions in Embedded Computing Systems. 17: 34. DOI: 10.1145/3147451 |
0.328 |
|
2017 |
Sankaranarayanan S, Kumar SA, Cameron F, Bequette BW, Fainekos G, Maahs DM. Model-based falsification of an artificial pancreas control system Acm Sigbed Review. 14: 24-33. DOI: 10.1145/3076125.3076128 |
0.331 |
|
2016 |
Tuncali CE, Fainekos G, Lee Y. Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms Acm Transactions in Embedded Computing Systems. 16: 15. DOI: 10.1145/2950055 |
0.373 |
|
2016 |
Zhang Y, Kim K, Fainekos G. DisCoF: Cooperative pathfinding in distributed systems with limited sensing and communication range Springer Tracts in Advanced Robotics. 112: 325-340. DOI: 10.1007/978-4-431-55879-8_23 |
0.504 |
|
2015 |
Kim K, Fainekos G, Sankaranarayanan S. On the minimal revision problem of specification automata International Journal of Robotics Research. 34: 1515-1535. DOI: 10.1177/0278364915587034 |
0.536 |
|
2015 |
Hoxha B, Mavridis N, Fainekos G. VISPEC: A graphical tool for elicitation of MTL requirements Ieee International Conference On Intelligent Robots and Systems. 2015: 3486-3492. DOI: 10.1109/IROS.2015.7353863 |
0.386 |
|
2013 |
Abbas H, Fainekos G, Sankaranarayanan S, Ivancic F, Gupta A. Probabilistic temporal logic falsification of cyber-physical systems Transactions On Embedded Computing Systems. 12. DOI: 10.1145/2465787.2465797 |
0.337 |
|
2013 |
Srinivas S, Kermani R, Kim K, Kobayashi Y, Fainekos G. A graphical language for LTL motion and mission planning 2013 Ieee International Conference On Robotics and Biomimetics, Robio 2013. 704-709. DOI: 10.1109/ROBIO.2013.6739543 |
0.581 |
|
2012 |
Kim K, Fainekos GE. Approximate solutions for the minimal revision problem of specification automata Ieee International Conference On Intelligent Robots and Systems. 265-271. DOI: 10.1109/IROS.2012.6386215 |
0.456 |
|
2011 |
Nghiem T, Fainekos GE. Computing schedules for time-triggered control using genetic algorithms Ifac Proceedings Volumes (Ifac-Papersonline). 18: 794-799. DOI: 10.3182/20110828-6-It-1002.01640 |
0.348 |
|
2011 |
Fainekos GE. Revising temporal logic specifications for motion planning Proceedings - Ieee International Conference On Robotics and Automation. 40-45. DOI: 10.1109/ICRA.2011.5979895 |
0.374 |
|
2009 |
Kress-Gazit H, Fainekos GE, Pappas GJ. Temporal-logic-based reactive mission and motion planning Ieee Transactions On Robotics. 25: 1370-1381. DOI: 10.1109/Tro.2009.2030225 |
0.745 |
|
2009 |
Fainekos GE, Pappas GJ. Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. 410: 4262-4291. DOI: 10.1016/J.Tcs.2009.06.021 |
0.569 |
|
2009 |
Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for dynamic robots Automatica. 45: 343-352. DOI: 10.1016/J.Automatica.2008.08.008 |
0.735 |
|
2008 |
Kress-Gazit H, Fainekos GE, Pappas GJ. Translating structured english to robot controllers Advanced Robotics. 22: 1343-1359. DOI: 10.1163/156855308X344864 |
0.736 |
|
2007 |
Kress-Gazit H, Fainekos GE, Pappas GJ. Where's Waldo? Sensor-based temporal logic motion planning Proceedings - Ieee International Conference On Robotics and Automation. 3116-3121. DOI: 10.1109/ROBOT.2007.363946 |
0.749 |
|
2007 |
Kress-Gazit H, Fainekos GE, Pappas GJ. From structured english to robot motion Ieee International Conference On Intelligent Robots and Systems. 2717-2722. DOI: 10.1109/IROS.2007.4398998 |
0.744 |
|
2007 |
Fainekos GE, Girard A, Pappas GJ. Hierarchical synthesis of hybrid controllers from temporal logic specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 203-216. |
0.426 |
|
2006 |
Fainekos GE, Loizou SG, Pappas GJ. Translating temporal logic to controller specifications Proceedings of the Ieee Conference On Decision and Control. 899-904. |
0.317 |
|
2005 |
Fainekos GE, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for mobile robots Proceedings - Ieee International Conference On Robotics and Automation. 2005: 2020-2025. DOI: 10.1109/ROBOT.2005.1570410 |
0.759 |
|
2005 |
Fainekos GE, Kress-Gazit H, Pappas GJ. Hybrid controllers for path planning: A temporal logic approach Proceedings of the 44th Ieee Conference On Decision and Control, and the European Control Conference, Cdc-Ecc '05. 2005: 4885-4890. DOI: 10.1109/CDC.2005.1582935 |
0.763 |
|
2004 |
Bayraktar S, Fainekos GE, Pappas GJ. Experimental cooperative control of fixed-wing unmanned aerial vehicles Proceedings of the Ieee Conference On Decision and Control. 4: 4292-4298. DOI: 10.1109/CDC.2004.1429426 |
0.319 |
|
Show low-probability matches. |