Skip to main content
Verifiable Robotics Research Group
Main menu
Home
Research
Publications
People
News
Publications
Search
Show only items where
Author
any
Abraham, Erika
Ahmed, N.
Alami, Rachid
Allbeck, Jan M.
Alonso-Mora, Javier
Alonso-Mora, Javier
Alur, Rajeev
Arkin, Jacob
Arkin, Jacob
Ayanian, Nora
Balkan, Ayca
Biggie, Harel
Billard, Aude
Blair, M.
Bodík, Rastislav
Boteanu, Adrian
Boteanu, Adrian
Brock, Oliver
Brooks, Daniel
Campbell, Mark
Campbell, Mark
Campbell, M.
Campbell, Mark E.
Campos, Thais
Castro, Sebastian
Chen, Ji
Choset, Howie
Clement, Lee E.
Conner, D. C.
Conner, David C.
Conner, David
Dallal, Eric
Daudelin, Jonathan
Daudelin, Jonathan
DeCastro, Jonathan A.
DeCastro, Jonathan
DeCastro, Jonathan A.
DelPreto, Joseph
Eder, Kerstin I.
Ehlers, Rüdiger
Ehlers, Rüdiger
Ehlers, R.
Fainekos, Gerogios E.
Fainekos, Georgios E.
Ferenz, Peter
Finucane, C.
Finucane, Cameron
Finucane, Cameron
Finucane, Cameron
Fisman, Dana
Fried, Dror
Gallagher, D.
Garg, Pranav
Gariepy, Ryan
Giamou, Matthew
Girard, Antoine
Girard, Antoine
Hamill, Scott
Havlak, Frank
Hoffman, Guy
How, Jonathan P.
Howard, Thomas
Howard, Thomas M.
Inala, Jeevana Priya
Jing, Gangyuan
Jing, Gangyuan
Jing, Gangyuan
Johnson, Benjamin
Juniwal, Garvit
Kavraki, Lydia E.
Kelly, Jonathan
Koehler, Sarah
Kohlbrecher, Stefan
Konidaris, George
Kress-Gazit, H.
Kress-Gazit, Hadas
Kress-Gazit, Hadas
Kress-Gazit, H.
Kress-Gazit, Hadas
Kshirsagar, Alap
Kubota, Alyssa
Kumar, Vijay
Kwiatkowska, M.
Lahijanian, Morteza
Lahijanian, M.
Lee, Kenton
Lee, D.
Leonard, John J.
Lignos, Constantine
Lignos, Constantine
Madhusudan, P.
Maly, Matthew R.
Maniatopoulos, Spyros
Maniatopoulos, S.
Maniatopoulos, S.
Marcus, Mitchell
Marcus, Mitch
Martin, Milo M. K.
McClelland, M.
Medvedev, Mikhail
Mehta, Ankur
Milford, Michael
Moarref, Salar
Moarref, Salar
Moran, P.
Morye, A. A.
Napoli, Michael E.
Natale, Lorenzo
Nathan, A.
Newman, P.
Pacheck, Adam
Pappas, George J.
Pappas, George J.
Patki, Siddharth
Peele, Bryan
Perera, Ian
Peretroukhin, Valentin
Peterson, Emma
Piterman, Nir
Pong, V.
Posner, I.
Raghothaman, Mukund
Rajendren, Vaishali
Raman, V.
Raman, Vasumathi
Raman, Vasu
Raman, Vasumathi
Rao, D.
Riek, Laurel
Righetti, Ludovic
Rizzi, Alfred A.
Romay, Alberto
Roy, Nicholas
Rungger, Matthias
Rus, Daniela
Rus, Daniela
Saha, Shambwaditya
Sarid, Shahar
Schillinger, P.
Schillinger, Philipp
Schneider, J.
Seshia, Sanjit A.
Shah, D.
Shepherd, Robert F.
Siegel, Hallie
Singh, Rishabh
Solar-Lezama, Armando
Stumpf, Alexander
Svorenova, M.
Tacchella, Armando
Topcu, U.
Torfah, Hazem
Torlak, Emina
Tosun, Tarik
Tosun, Tarik
Udupa, Abhishek
Vardi, Moshe
Vardi, Moshe Y.
von Stryk, Oskar
Walter, Matthew R.
Westwater, Max
Whitehead, John
Wong, Kai Weng
Wong, Kai Weng
Wong, K. W.
Wongpiromsarn, T.
Xu, Bingxin
Yanco, Holly
Yang, T.-L.
Yeomans, B.
Yim, Mark
Yim, Mark
Type
any
Conference Paper
Journal Article
Book Chapter
Thesis
Miscellaneous
Term
any
Year
any
In Press
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2005
Keyword
any
Abstracts
Actuators
adversarial events
agent architectures
Automata
autonomous vehicle navigation
Bridges
Collaboration
collision avoidance
complex behaviors
continuous bisimilar controllers
control system synthesis
Controller Synthesis
cooperative robots
correct reactive high-level robot control
correct-by-construction robot controllers
correct-by-construction schedule
DARPA urban challenge
deadlock prevention
Dialog Systems
DUC mission
Dynamics
Educational institutions
emergency response
environment assumption violations
environment robots
failure resilience
Formal methods
formal methods in robotics and automation
formal synthesis
Glass
heterogeneous robot teams
High-level control
high-level mission specifications
high-level robot behaviors
human robot interaction
Human-Robot Interaction
hybrid controllers
Ice
intelligent robots
intelligent schedules
Intelligent transportation systems
interleaved motion
Language Grounding
Legged locomotion
linear temporal logic
Linear Temporal Logic (LTL)
Mathematical model
Metals
mobile autonomous robots
Mobile communication
mobile manipulation
mobile robots
Monitoring
motion control
motion planning
multi-robot systems
multirobot controller synthesis
Natural language
Navigation
Nonlinear dynamical systems
offline approach
on-board resources
online approach
open-world mission specification
Operating systems
Optimization and optimal control
Pareto optimisation
Pareto point
Planning
planning (artificial intelligence)
planning from high-level specifications
Process control
processing power
quantitative multiobjective verification technique
reactive robots
recycling
reduced resource consumption
representations
resource allocation
resource budget
resource constraints
resource-performance tradeoff analysis
robot controllers design
robot controllers synthesis
robot execution
Robot kinematics
Robot Mission Planning
Robot Operating System (ROS)
robot programming
Robot sensing systems
robotic courier
robotic scenarios
Robots
Robustness
Runtime
Safety
Schedules
scheduling
scheduling and coordination
Semantics
Servers
Soft robotics
state explosion problem
Synthesis
Task analysis
Temporal Logic
temporal logic synthesis
three-layer system
Trajectory
transient violations
Urban areas
US Department of Defense
Export 1 results:
BibTeX
RTF
Author
Keyword
Title
Type
[
Year
]
Filters:
First Letter Of Keyword
is
D
and
Author
is
Hadas Kress-Gazit
[Clear All Filters]
2012
D. Brooks
,
Lignos, C.
,
Finucane, C.
,
Medvedev, M.
,
Perera, I.
,
Raman, V.
,
Kress-Gazit, H.
,
Marcus, M.
, and
Yanco, H.
,
“
Make it So: Continuous, Flexible Natural Language Interaction with an Autonomous Robot
”
. 2012.
Google Scholar
BibTeX
RTF