V
Vaughan R. Pratt
Researcher at Stanford University
Publications - 118
Citations - 14671
Vaughan R. Pratt is an academic researcher from Stanford University. The author has contributed to research in topics: Dynamic logic (modal logic) & Substructural logic. The author has an hindex of 44, co-authored 118 publications receiving 13681 citations. Previous affiliations of Vaughan R. Pratt include Sun Microsystems & Massachusetts Institute of Technology.
Papers
More filters
Journal ArticleDOI
Fast Pattern Matching in Strings
TL;DR: An algorithm is presented which finds all occurrences of one given string within another, in running time proportional to the sum of the lengths of the strings, showing that the set of concatenations of even palindromes, i.e., the language $\{\alpha \alpha ^R\}^*$, can be recognized in linear time.
Journal ArticleDOI
Stanley: The Robot that Won the DARPA Grand Challenge
Sebastian Thrun,Michael Montemerlo,Hendrik Dahlkamp,David Stavens,Andrei Aron,James Diebel,Philip Fong,John Gale,Morgan Halpenny,Gabriel M. Hoffmann,Kenny Lau,Celia M. Oakley,Mark Palatucci,Vaughan R. Pratt,Pascal Stang,Sven Strohband,Cedric Dupont,Lars-Erik Jendrossek,Christian Koelen,Charles Markey,Carlo Rummel,Joe van Niekerk,Eric Jensen,Philippe Alessandrini,Gary Bradski,Bob Davies,Scott M. Ettinger,Adrian Kaehler,Ara V. Nefian,Pamela Mahoney +29 more
TL;DR: The robot Stanley, which won the 2005 DARPA Grand Challenge, was developed for high‐speed desert driving without manual intervention and relied predominately on state‐of‐the‐art artificial intelligence technologies, such as machine learning and probabilistic reasoning.
Journal ArticleDOI
Time bounds for selection
TL;DR: The number of comparisons required to select the i-th smallest of n numbers is shown to be at most a linear function of n by analysis of a new selection algorithm-PICK.
Proceedings ArticleDOI
Towards fully autonomous driving: Systems and algorithms
Jesse Levinson,Jake Askeland,Jan Becker,Jennifer Dolson,David Held,Soeren Kammel,J. Zico Kolter,Dirk Langer,Oliver Pink,Vaughan R. Pratt,Michael Sokolsky,Ganymed Stanek,David Stavens,Alex Teichman,Moritz Werling,Sebastian Thrun +15 more
TL;DR: In order to achieve autonomous operation of a vehicle in urban situations with unpredictable traffic, several realtime systems must interoperate, including environment perception, localization, planning, and control.
Journal ArticleDOI
Modeling concurrency with partial orders
TL;DR: This paper extracts a single hybrid approach having a rich language that mixes algebra and logic and having a natural class of models of concurrent processes, a notion of partial string derived from the view of a string as a linearly ordered multiset by relaxing the linearity constraint, thereby permitting partially ordering multisets or pomsets.