E-LIB Suche - Ergebnisse für: Genin, Daniel

1

A Safety Fallback Controller for Improved Collision Avoidan..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),

Genin, Daniel ; Dietrich, Elizabeth ; Kouskoulas, Yanni... - p. 129-136 , 2023

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

2

Formal Verification of Neural Network Controllers for Colli..:

, In: Lecture Notes in Computer Science; Software Verification,

Genin, Daniel ; Papusha, Ivan ; Brulé, Joshua... - p. 147-164 , 2022

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

3

Envelopes and waves: safe multivehicle collision avoidance ..:

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel...
International Journal on Software Tools for Technology Transfer. 24 (2022) 3 - p. 371-394 , 2022

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

4

Good Fences Make Good Neighbors: Using Formally Verified Sa..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Kouskoulas, Yanni ; Wu, Rosa ; Brulé, Joshua... - p. 214-230 , 2021

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

5

Formally Verified Timing Computation for Non-deterministic ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel - p. 113-129 , 2020

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

6

Correction to: Formally Verified Timing Computation for Non..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel - p. C1-C1 , 2020

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

7

Provably Safe Controller Synthesis Using Safety Proofs as B..:

, In: 2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT),

Kouskoulas, Yanni ; Schmidt, Aurora ; Jeannin, Jean-Baptiste.. - p. 26-35 , 2019

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

8

Hyperbolic outer billiards: a first example:

Genin, Daniel
Nonlinearity. 19 (2006) 6 - p. 1403-1413 , 2006

Link: https://doi.org/10.1088/..

9

Envelopes and Waves: Safe Multivehicle Collision Avoidance ..:

Kouskoulas, Yanni ; Machado, T. J ; Genin, Daniel...
http://arxiv.org/abs/2205.04833. , 2022

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

10

Incorrect by Construction: Fine Tuning Neural Networks for ..:

Papusha, Ivan ; Wu, Rosa ; Brulé, Joshua...
http://arxiv.org/abs/2008.01204. , 2020

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

11

Adaptive Stress Testing: Finding Likely Failure Events with..:

Lee, Ritchie ; Mengshoel, Ole J ; Saksena, Anshu...
http://arxiv.org/abs/1811.02188. , 2018

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

12

Where in the Internet is congestion?:

Genin, Daniel ; Splett, Jolene
http://arxiv.org/abs/1307.3696. , 2013

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

13

Modeling queuing dynamics of TCP: a simple model and its em..:

Genin, Daniel ; Nakassis, Tassos
http://arxiv.org/abs/1105.1347. , 2011

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

14

Hyperbolic outer billiards : a first example:

Genin, Daniel
http://arxiv.org/abs/math/0601338. , 2006

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

15

Selective ionization of marker molecules in fuels by laser-..:

Zühlke, Martin ; Genin, Leonard ; Riebe, Daniel.
Analytical Methods. 16 (2024) 6 - p. 864-872 , 2024

Link: https://doi.org/10.1039/..