Pushdown automaton

Results: 134



#Item
1Intl. 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

Add to Reading List

Source URL: www.neil.dantam.name

Language: English - Date: 2016-07-08 17:59:42
2Simulation 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

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-09-22 20:46:25
3Pushdown 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:

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2015-01-28 19:35:31
4Robotics: 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∗ ∗

Add to Reading List

Source URL: www.neil.dantam.name

Language: English - Date: 2016-07-08 17:59:42
5Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2012-07-27 18:18:37
6JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

Add to Reading List

Source URL: ilyasergey.net

Language: English - Date: 2016-03-01 06:31:32
7Bisimilarity 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)

Add to Reading List

Source URL: highlights-conference.org

Language: English - Date: 2013-09-18 06:35:52
8The 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

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2011-12-01 04:10:13
9Security 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

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2011-12-01 11:57:54
10The 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

Add to Reading List

Source URL: static.usenix.org

Language: English - Date: 2011-11-23 16:29:49