1![Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli](https://www.pdfsearch.io/img/3451ef121e36d52fa23cde31aa04511b.jpg) | Add to Reading ListSource URL: www.neil.dantam.nameLanguage: English - Date: 2016-07-08 17:59:42
|
---|
2![Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday](https://www.pdfsearch.io/img/c52179e91f814102b46ad6e3a5a6adc8.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2013-09-22 20:46:25
|
---|
3![Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA: Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA:](https://www.pdfsearch.io/img/848adcae3c54bdba4ad54ab78d9424fc.jpg) | Add to Reading ListSource URL: www.cs.ucr.eduLanguage: English - Date: 2015-01-28 19:35:31
|
---|
4![Robotics: Science and Systems (RSS), 2013 Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Robotics: Science and Systems (RSS), 2013 Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗](https://www.pdfsearch.io/img/bdc3c104a7baa979cb152fd01c8732b2.jpg) | Add to Reading ListSource URL: www.neil.dantam.nameLanguage: English - Date: 2016-07-08 17:59:42
|
---|
5![Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman](https://www.pdfsearch.io/img/5f979f4dad2ac23053bb7a3aebdc9d38.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2012-07-27 18:18:37
|
---|
6![JFP): 218–283, c Cambridge University Press 2014 ⃝ 218 JFP): 218–283, c Cambridge University Press 2014 ⃝ 218](https://www.pdfsearch.io/img/1c73e52648a003d4310971469bfdebc0.jpg) | Add to Reading ListSource URL: ilyasergey.netLanguage: English - Date: 2016-03-01 06:31:32
|
---|
7![Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford) Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford)](https://www.pdfsearch.io/img/18e394209726389037a8d1b53d8be35f.jpg) | Add to Reading ListSource URL: highlights-conference.orgLanguage: English - Date: 2013-09-18 06:35:52
|
---|
8![The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD](https://www.pdfsearch.io/img/1ebd3fbe415767b14489941e9b906b88.jpg) | Add to Reading ListSource URL: langsec.orgLanguage: English - Date: 2011-12-01 04:10:13
|
---|
9![Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina](https://www.pdfsearch.io/img/e198d5c4020337c11368293c0d5d53c9.jpg) | Add to Reading ListSource URL: langsec.orgLanguage: English - Date: 2011-12-01 11:57:54
|
---|
10![The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD](https://www.pdfsearch.io/img/21de2fcdea572800f384d5f8b894e4e3.jpg) | Add to Reading ListSource URL: static.usenix.orgLanguage: English - Date: 2011-11-23 16:29:49
|
---|