Skip to main content

Open Access Publications from the University of California

Search eScholarship

Refine Search

All of eScholarshipThis Series

UC Berkeley

UC Berkeley Previously Published Works banner

Menu

About eScholarship
UC Open Access Policies
Journals
Academic Units

eScholarship
UC Berkeley
UC Berkeley Previously Published Works

Main
- PDF

Share

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.

2019

Desai, Ankush;
Ghosh, Shromona;
Seshia, Sanjit A;
Shankar, Natarajan;
Tiwari, Ashish

Main Content

For improved accessibility of PDF content, download the file to your device.

Highlight all Match case

Whole words

Current View

Current View

Enter the password to open this PDF file:

File name:

-

File size:

-

Title:

-

Author:

-

Subject:

-

Keywords:

-

Creation Date:

-

Modification Date:

-

Creator:

-

PDF Producer:

-

PDF Version:

-

Page Count:

-

Page Size:

-

Fast Web View:

-

Preparing document for printing…

0%

Jump To

Main Content

Metrics
Author & Article Info

Related Items

Search for Continuous and Transient Neutrino Emission Associated with IceCube’s Highest-energy Tracks: An 11 yr Analysis
- Abbasi, R;
- Ackermann, M;
- Adams, J;
- Agarwalla, SK;
- Aguilar, JA;
- Ahlers, M;
- Alameddine, JM;
- Amin, NM;
- Andeen, K;
- Anton, G;
- Argüelles, C;
- Ashida, Y;
- Athanasiadou, S;
- Axani, SN;
- Bai, X;
- V., A Balagopal;
- Baricevic, M;
- Barwick, SW;
- Basu, V;
- Bay, R;
- Beatty, JJ;
- Tjus, J Becker;
- Beise, J;
- Bellenghi, C;
- Benning, C;
- BenZvi, S;
- Berley, D;
- Bernardini, E;
- Besson, DZ;
- Blaufuss, E;
- Blot, S;
- Bontempo, F;
- Book, JY;
- Meneguolo, C Boscolo;
- Böser, S;
- Botner, O;
- Böttcher, J;
- Bourbeau, E;
- Braun, J;
- Brinson, B;
- Brostean-Kaiser, J;
- Burley, RT;
- Busse, RS;
- Butterfield, D;
- Campana, MA;
- Carloni, K;
- Carnie-Bronca, EG;
- Chattopadhyay, S;
- Chau, N;
- Chen, C;
- Chen, Z;
- Chirkin, D;
- Choi, S;
- Clark, BA;
- Coenders, S;
- Coleman, A;
- Collin, GH;
- Connolly, A;
- Conrad, JM;
- Coppin, P;
- Correa, P;
- Cowen, DF;
- Dave, P;
- De Clercq, C;
- DeLaunay, JJ;
- Delgado, D;
- Deng, S;
- Deoskar, K;
- Desai, A;
- Desiati, P;
- de Vries, KD;
- de Wasseige, G;
- DeYoung, T;
- Diaz, A;
- Díaz-Vélez, JC;
- Dittmer, M;
- Domi, A;
- Dujmovic, H;
- DuVernois, MA;
- Ehrhardt, T;
- Eimer, A;
- Eller, P;
- Ellinger, E;
- Mentawi, S El;
- Elsässer, D;
- Engel, R;
- Erpenbeck, H;
- Evans, J;
- Evenson, PA;
- Fan, KL;
- Fang, K;
- Farrag, K;
- Fazely, AR;
- Fedynitch, A;
- Feigl, N;
- Fiedlschuster, S;
- Finley, C;
- Fischer, L;
- Fox, D;
- Franckowiak, A;
- Fritz, A;
- Fürst, P;
- Gallagher, J;
- Ganster, E;
- Garcia, A;
- Gerhardt, L;
- Ghadimi, A;
- Glaser, C;
- Glauch, T;
- Glüsenkamp, T;
- Goehlke, N;
- Gonzalez, JG;
- Goswami, S;
- Grant, D;
- Gray, SJ;
- Gries, O;
- Griffin, S;
- Griswold, S;
- Groth, KM;
- Günther, C;
- Gutjahr, P;
- Haack, C;
- Hallgren, A;
- Halliday, R;
- Halve, L;
- Halzen, F;
- Hamdaoui, H;
- Minh, M Ha;
- Hanson, K;
- Hardin, J;
- Harnisch, AA;
- Hatch, P;
- Haungs, A;
- Helbing, K;
- Hellrung, J;
- Henningsen, F;
- Heuermann, L;
- Heyer, N;
- Hickford, S;
- Hidvegi, A;
- Hill, C;
- Hill, GC;
- Hoffman, KD;
- Hori, S;
- Hoshina, K;
- Hou, W;
- Huber, T;
- Hultqvist, K;
- Hünnefeld, M;
- Hussain, R;
- Hymon, K;
- In, S;
- Ishihara, A;
- Jacquart, M;
- Janik, O;
- Jansson, M;
- Japaridze, GS;
- Jeong, M;
- Jin, M;
- Jones, BJP;
- Kamp, N;
- Kang, D;
- Kang, W;
- Kang, X;
- Kappes, A;
- Kappesser, D;
- Kardum, L;
- Karg, T;
- Karl, M;
- Karle, A;
- Katil, A;
- Katz, U;
- Kauer, M;
- Kelley, JL;
- Zathul, A Khatee;
- Kheirandish, A;
- Kiryluk, J;
- Klein, SR;
- Kochocki, A;
- Koirala, R;
- Kolanoski, H;
- Kontrimas, T;
- Köpke, L;
- Kopper, C;
- Koskinen, DJ;
- Koundal, P;
- Kovacevich, M;
- Kowalski, M;
- Kozynets, T;
- Krishnamoorthi, J;
- Kruiswijk, K;
- Krupczak, E;
- Kumar, A;
- Kun, E;
- Kurahashi, N;
- Lad, N;
- Gualda, C Lagunas;
- Lamoureux, M;
- Larson, MJ;
- Latseva, S;
- Lauber, F;
- Lazar, JP;
- Lee, JW;
- DeHolton, K Leonard;
- Leszczyńska, A;
- Lincetto, M;
- Liu, QR;
- Liubarska, M;
- Lohfink, E;
- Love, C;
- Mariscal, CJ Lozano;
- Lu, L;
- Lucarelli, F;
- Luszczak, W;
- Lyu, Y;
- Madsen, J;
- Mahn, KBM;
- Makino, Y;
- Manao, E;
- Mancina, S;
- Sainte, W Marie;
- Mariş, IC;
- Marka, S;
- Marka, Z;
- Marsee, M;
- Martinez-Soler, I;
- Maruyama, R;
- Mayhew, F;
- McElroy, T;
- McNally, F;
- Mead, JV;
- Meagher, K;
- Mechbal, S;
- Medina, A;
- Meier, M;
- Merckx, Y;
- Merten, L;
- Micallef, J;
- Mitchell, J;
- Montaruli, T;
- Moore, RW;
- Morii, Y;
- Morse, R;
- Moulai, M;
- Mukherjee, T;
- Naab, R;
- Nagai, R;
- Nakos, M;
- Naumann, U;
- Necker, J;
- Negi, A;
- Neumann, M;
- Niederhausen, H;
- Nisa, MU;
- Noell, A;
- Novikov, A;
- Nowicki, SC;
- Pollmann, A Obertacke;
- O’Dell, V;
- Oehler, M;
- Oeyen, B;
- Olivas, A;
- Orsoe, R;
- Osborn, J;
- O’Sullivan, E;
- Pandya, H;
- Park, N;
- Parker, GK;
- Paudel, EN;
- Paul, L;
- de los Heros, C Pérez;
- Peterson, J;
- Philippen, S;
- Pizzuto, A;
- Plum, M;
- Pontén, A;
- Popovych, Y;
- Rodriguez, M Prado;
- Pries, B;
- Procter-Murphy, R;
- Przybylski, GT;
- Raab, C;
- Rack-Helleis, J;
- Rawlins, K;
- Rechav, Z;
- Rehman, A;
- Reichherzer, P;
- Renzi, G;
- Resconi, E;
- Reusch, S;
- Rhode, W;
- Riedel, B;
- Rifaie, A;
- Roberts, EJ;
- Robertson, S;
- Rodan, S;
- Roellinghoff, G;
- Rongen, M;
- Rott, C;
- Ruhe, T;
- Ruohan, L;
- Ryckbosch, D;
- Safa, I;
- Saffer, J;
- Salazar-Gallegos, D;
- Sampathkumar, P;
- Herrera, SE Sanchez;
- Sandrock, A;
- Santander, M;
- Sarkar, S;
- Sarkar, S;
- Savelberg, J;
- Savina, P;
- Schaufel, M;
- Schieler, H;
- Schindler, S;
- Schlickmann, L;
- Schlüter, B;
- Schlüter, F;
- Schmeisser, N;
- Schmidt, T;
- Schneider, J;
- Schröder, FG;
- Schumacher, L;
- Schwefer, G;
- Sclafani, S;
- Seckel, D;
- Seikh, M;
- Seunarine, S;
- Shah, R;
- Shefali, S;
- Shimizu, N;
- Silva, M;
- Skrzypek, B;
- Smithers, B;
- Snihur, R;
- Soedingrekso, J;
- Søgaard, A;
- Soldin, D;
- Soldin, P;
- Sommani, G;
- Spannfellner, C;
- Spiczak, GM;
- Spiering, C;
- Stamatikos, M;
- Stanev, T;
- Stezelberger, T;
- Stürwald, T;
- Stuttard, T;
- Sullivan, GW;
- Taboada, I;
- Ter-Antonyan, S;
- Thiesmeyer, M;
- Thompson, WG;
- Thwaites, J;
- Tilav, S;
- Tollefson, K;
- Tönnis, C;
- Toscano, S;
- Tosi, D;
- Trettin, A;
- Tung, CF;
- Turcotte, R;
- Twagirayezu, JP;
- Elorrieta, MA Unland;
- Upadhyay, AK;
- Upshaw, K;
- Vaidyanathan, A;
- Valtonen-Mattila, N;
- Vandenbroucke, J;
- van Eijndhoven, N;
- Vannerom, D;
- van Santen, J;
- Vara, J;
- Veitch-Michaelis, J;
- Venugopal, M;
- Vereecken, M;
- Verpoest, S;
- Veske, D;
- Vijai, A;
- Walck, C;
- Weaver, C;
- Weigel, P;
- Weindl, A;
- Weldert, J;
- Wen, AY;
- Wendt, C;
- Werthebach, J;
- Weyrauch, M;
- Whitehorn, N;
- Wiebusch, CH;
- Williams, DR;
- Witthaus, L;
- Wolf, A;
- Wolf, M;
- Wrede, G;
- Xu, XW;
- Yanez, JP;
- Yildizci, E;
- Yoshida, S;
- Young, R;
- Yu, S;
- Yuan, T;
- Zhang, Z;
- Zhelnin, P;
- Zilberman, P;
- Zimmerman, M;
- Collaboration, IceCube
The value of adding black carbon to community monitoring of particulate matter
Streptavidin-Affinity Grid Fabrication for Cryo-Electron Microscopy Sample Preparation.
Signatures of primordial energy injection from axion strings
A hippocampus-accumbens code guides goal-directed appetitive behavior

Home
About eScholarship
Campus Sites
UC Open Access Policy
eScholarship Publishing
Accessibility
Privacy Statement
Site Policies
Terms of Use
Admin Login
Help

Powered by the
California Digital Library
Copyright © 2017
The Regents of the University of California