Search results

From Murray Wiki
Jump to navigationJump to search
Results 1 – 21 of 61
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  
  • * {{Nok Wongpiromsarn}} * Receding Horizon Temporal Logic Planning, Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2010
    20 KB (2,692 words) - 02:43, 26 November 2015
  • # T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, TuLiP: a software toolbox for # T. Wongpiromsarn, U. Topcu, and R. M. Murray, Receding Horizon Temporal Logic Planning, IEEE
    3 KB (383 words) - 14:59, 10 January 2011
  • ...op><td align=center><font color='blue' size='+0'>Richard M. Murray and Nok Wongpiromsarn</font></td></tr> ...z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)
    9 KB (1,245 words) - 13:15, 8 April 2020
  • 2. RM Murray, U. Topcu, N. Wongpiromsarn. HYCON-EECI, 2013 [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L3_ 4. RM Murray, U. Topcu, N. Wongpiromsarn. HYCON-EECI, 2013 [http://www.cds.caltech.edu/~murray/courses/eeci-sp13/L7_
    5 KB (703 words) - 21:32, 15 December 2019
  • ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...z_wtm12-us.html Synthesis of Control Protocols for Autonomous Systems], N. Wongpiromsarn, U. Topcu and R. M. Murray. ''Unmanned Systems'', 2013 (submitted)
    7 KB (1,005 words) - 21:35, 12 May 2013
  • .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...synthesis of control protocols for smart camera networks], N. Ozay, UT, T. Wongpiromsarn, and R. Murray, International Conference on Cyber-Physical Systems, 2011. D
    2 KB (235 words) - 07:33, 18 May 2012
  • ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...Page Ufuk Topcu] (Caltech, CDS), and [http://www.cds.caltech.edu/~nok/ Nok Wongpiromsarn] (MIT-Singapore)
    7 KB (914 words) - 13:11, 16 May 2012
  • [1] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R.~M. Murray, [http://www.cds.caltech.edu/~m [2] T. Wongpiromsarn, U. Topcu, and R. Murray. [http://www.cds.caltech.edu/~murray/papers/2010d_
    3 KB (362 words) - 18:25, 28 December 2013
  • .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
    3 KB (384 words) - 07:17, 17 May 2012
  • [1] T. Wongpiromsarn, U. Topcu, and R.M. Murray, [http://www.cds.caltech.edu/~murray/papers/2012 [2] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray, [http://www.cds.caltech.edu/~murr
    4 KB (554 words) - 19:26, 29 December 2013
  • [1] T. Wongpiromsarn, U. Topcu, and R. Murray. [http://www.cds.caltech.edu/~murray/papers/2010d_ [3] T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R.~M. Murray, [http://www.cds.caltech.edu/~m
    4 KB (532 words) - 08:42, 31 December 2013
  • # T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray, TuLiP: a software toolbox for # T. Wongpiromsarn, U. Topcu, and R. M. Murray, Receding Horizon Temporal Logic Planning, IEEE
    3 KB (374 words) - 14:54, 10 January 2011
  • ...er><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr> ...Page Ufuk Topcu] (Caltech, CDS), and [http://www.cds.caltech.edu/~nok/ Nok Wongpiromsarn] (MIT-Singapore)
    2 KB (320 words) - 06:40, 7 February 2011
  • ...geneous Multi-Agent Systems with Linear Temporal Logic Specifications], T. Wongpiromsarn, A. Ulusoy, C. Belta, E. Frazzoli and D. Rus, ICRA 2013. An incremental ver ...amic, Partially Known Environments with Temporal Logic Specifications], T. Wongpiromsarn and E. Frazzoli, CDC 2012. Another example, with not fully observable agent
    2 KB (348 words) - 07:57, 10 March 2020
  • .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
    3 KB (465 words) - 18:04, 2 March 2014
  • .../images//4/4d/WTM-itac10R.pdf Receding horizon temporal logic planning],T. Wongpiromsarn, U. Topcu, and R. Murray, submitted to IEEE Transactions on Automatic Contr ...TM-aaai10.pdf Automatic synthesis of robust embedded control software], T. Wongpiromsarn, U. Topcu, and R. Murray, AAAI 2010 Spring Symposium on Embedded Reasoning:
    3 KB (432 words) - 17:02, 29 February 2020
  • ...ure-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rul ...ably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can
    2 KB (237 words) - 07:26, 13 March 2020
  • # H. Kress-Gazit, T. Wongpiromsarn, U. Topcu, Correct, reactive robot control from abstraction and temporal lo
    2 KB (325 words) - 03:04, 29 December 2011
  • <tr><td> [http://robotics.caltech.edu/~nok Nok Wongpiromsarn] [http://thesis.library.caltech.edu/5864/ (thesis)]</td></tr>
    20 KB (2,886 words) - 23:12, 2 October 2022
  • * 11:30 - Nok Wongpiromsarn + Alice tour (pick up from Ling, drop off with Richard)
    363 bytes (53 words) - 01:00, 24 July 2007

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)