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.
Allbeck, Jan M.
Alonso-Mora, Javier
Alonso-Mora, Javier
Alur, Rajeev
Arkin, Jacob
Arkin, Jacob
Ayanian, Nora
Balkan, Ayca
Biggie, Harel
Blair, M.
Bodík, Rastislav
Boteanu, Adrian
Boteanu, Adrian
Campbell, Mark
Campbell, M.
Campbell, Mark
Campbell, Mark E.
Castro, Sebastian
Chen, Ji
Choset, Howie
Conner, D. C.
Conner, David C.
Conner, David
Dallal, Eric
Daudelin, Jonathan
Daudelin, Jonathan
DeCastro, Jonathan A.
DeCastro, Jonathan A.
DeCastro, Jonathan
DelPreto, Joseph
Ehlers, R.
Ehlers, Rüdiger
Ehlers, Rüdiger
Fainekos, Gerogios E.
Fainekos, Georgios E.
Ferenz, Peter
Finucane, Cameron
Finucane, Cameron
Finucane, C.
Finucane, Cameron
Fisman, Dana
Fried, Dror
Gallagher, D.
Garg, Pranav
Girard, Antoine
Girard, Antoine
Hamill, Scott
Havlak, Frank
Howard, Thomas M.
Howard, Thomas
Jing, Gangyuan
Jing, Gangyuan
Jing, Gangyuan
Johnson, Benjamin
Juniwal, Garvit
Kavraki, Lydia E.
Koehler, Sarah
Kohlbrecher, Stefan
Kress-Gazit, Hadas
Kress-Gazit, H.
Kress-Gazit, Hadas
Kress-Gazit, H.
Kress-Gazit, Hadas
Kumar, Vijay
Kwiatkowska, M.
Lahijanian, M.
Lahijanian, Morteza
Lee, Kenton
Lee, D.
Lignos, Constantine
Lignos, Constantine
Madhusudan, P.
Maly, Matthew R.
Maniatopoulos, Spyros
Maniatopoulos, S.
Maniatopoulos, S.
Marcus, Mitch
Marcus, Mitchell
Martin, Milo M. K.
McClelland, M.
Mehta, Ankur
Moarref, Salar
Moran, P.
Morye, A. A.
Napoli, Michael E.
Natale, Lorenzo
Nathan, A.
Newman, P.
Pappas, George J.
Pappas, George J.
Patki, Siddharth
Peele, Bryan
Piterman, Nir
Pong, V.
Posner, I.
Raghothaman, Mukund
Raman, V.
Raman, Vasumathi
Raman, Vasu
Raman, Vasumathi
Rao, D.
Rizzi, Alfred A.
Romay, Alberto
Rungger, Matthias
Rus, Daniela
Rus, Daniela
Saha, Shambwaditya
Sarid, Shahar
Schillinger, P.
Schillinger, Philipp
Schneider, J.
Seshia, Sanjit A.
Shah, D.
Shepherd, Robert F.
Singh, Rishabh
Solar-Lezama, Armando
Stumpf, Alexander
Svorenova, M.
Tacchella, Armando
Topcu, U.
Torlak, Emina
Tosun, Tarik
Tosun, Tarik
Udupa, Abhishek
Vardi, Moshe
von Stryk, Oskar
Walter, Matthew R.
Westwater, Max
Wong, Kai Weng
Wong, K. W.
Wong, Kai Weng
Wongpiromsarn, T.
Xu, Bingxin
Yang, T.-L.
Yeomans, B.
Yim, Mark
Yim, Mark
Type
any
Journal Article
Conference Proceedings
Conference Paper
Book Chapter
Thesis
Miscellaneous
Term
any
Year
any
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2005
Keyword
any
Abstracts
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
DUC mission
Dynamics
Educational institutions
emergency response
environment assumption violations
environment robots
failure resilience
Formal methods
formal methods in robotics and automation
Glass
heterogeneous robot teams
High-level control
high-level mission specifications
high-level robot behaviors
human robot interaction
hybrid controllers
Ice
intelligent robots
intelligent schedules
Intelligent transportation systems
interleaved motion
linear temporal logic
Linear Temporal Logic (LTL)
Metals
mobile autonomous robots
Mobile communication
mobile manipulation
mobile robots
Monitoring
motion control
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
state explosion problem
Synthesis
Task analysis
Temporal Logic
temporal logic synthesis
three-layer system
Trajectory
transient violations
Urban areas
US Department of Defense
Export 0 results:
BibTex
RTF
[
Author
]
Keyword
Title
Type
Year
Filters:
First Letter Of Last Name
is
A
and
Author
is
Garvit Juniwal
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
No items found
Modify
or
remove
your filters and try again.