E-LIB Suche - Ergebnisse für: Dathathri, Sumanth

1

Parallelizing Synthesis from Temporal Logic Specifications ..:

, In: Springer Proceedings in Advanced Robotics; Robotics Research,

Dathathri, Sumanth ; Filippidis, Ioannis ; Murray, Richard M. - p. 827-842 , 2019

Link: https://doi.org/10.1007/..

2

Osiris : A Tool for Abstraction and Verification of Cont..:

, In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles,

Aréchiga, Nikos ; Dathathri, Sumanth ; Vernekar, Shashank... - p. 11-18 , 2017

Link: https://dl.acm.org/doi/1..

3

Enhancing tolerance to unexpected jumps in GR(1) games:

, In: Proceedings of the 8th International Conference on Cyber-Physical Systems,

Dathathri, Sumanth ; Livingston, Scott C. ; Murray, Richard M. - p. 37-47 , 2017

Link: https://dl.acm.org/doi/1..

4

Control design for hybrid systems with TuLiP: The Temporal ..:

, In: 2016 IEEE Conference on Control Applications (CCA),

Filippidis, Ioannis ; Dathathri, Sumanth ; Livingston, Scott C... - p. 1030-1041 , 2016

Link: https://doi.org/10.1109/..

5

Heat transfer and optimization studies on layered porous st..:

Dathathri, Sumanth ; Balaji, C.
International Communications in Heat and Mass Transfer. 60 (2015) - p. 32-36 , 2015

Link: https://doi.org/10.1016/..

6

Consensus, dissensus and synergy between clinicians and spe..:

Tanno, Ryutaro ; Barrett, David G. T ; Sellergren, Andrew...
http://arxiv.org/abs/2311.18260. , 2023

Link: http://arxiv.org/abs/231..

7

Characteristics of Harmful Text: Towards Rigorous Benchmark..:

Rauh, Maribeth ; Mellor, John ; Uesato, Jonathan...
http://arxiv.org/abs/2206.08325. , 2022

Link: http://arxiv.org/abs/220..

8

Improving alignment of dialogue agents via targeted human j..:

Glaese, Amelia ; McAleese, Nat ; Trębacz, Maja...
http://arxiv.org/abs/2209.14375. , 2022

Link: http://arxiv.org/abs/220..

9

Scaling Language Models: Methods, Analysis & Insights from ..:

Rae, Jack W ; Borgeaud, Sebastian ; Cai, Trevor...
http://arxiv.org/abs/2112.11446. , 2021

Link: http://arxiv.org/abs/211..

10

Make Sure You're Unsure: A Framework for Verifying Probabil..:

Berrada, Leonard ; Dathathri, Sumanth ; Dvijotham, Krishnamurthy...
http://arxiv.org/abs/2102.09479. , 2021

Link: http://arxiv.org/abs/210..

11

Challenges in Detoxifying Language Models:

Welbl, Johannes ; Glaese, Amelia ; Uesato, Jonathan...
http://arxiv.org/abs/2109.07445. , 2021

Link: http://arxiv.org/abs/210..

12

Plug-and-Play Conversational Models:

Madotto, Andrea ; Ishii, Etsuko ; Lin, Zhaojiang..
http://arxiv.org/abs/2010.04344. , 2020

Link: http://arxiv.org/abs/201..

13

Enabling certification of verification-agnostic networks vi..:

Dathathri, Sumanth ; Dvijotham, Krishnamurthy ; Kurakin, Alexey...
http://arxiv.org/abs/2010.11645. , 2020

Link: http://arxiv.org/abs/201..

14

Counter-example Guided Learning of Bounds on Environment Be..:

Chen, Yuxiao ; Dathathri, Sumanth ; Phan-Minh, Tung.
http://arxiv.org/abs/2001.07233. , 2020

Link: http://arxiv.org/abs/200..

15

Robust Constrained Reinforcement Learning for Continuous Co..:

Mankowitz, Daniel J ; Calian, Dan A ; Jeong, Rae...
http://arxiv.org/abs/2010.10644. , 2020

Link: http://arxiv.org/abs/201..