An Architecture for Safe Driving Automation (Englisch)
- Neue Suche nach: Kopetz, Hermann
- Neue Suche nach: Raskin, Jean-François
- Neue Suche nach: Chatterjee, Krishnendu
- Neue Suche nach: Doyen, Laurent
- Weitere Informationen zu Doyen, Laurent:
- https://orcid.org/https://orcid.org/0000-0003-3714-6145
- Neue Suche nach: Majumdar, Rupak
- Weitere Informationen zu Majumdar, Rupak:
- https://orcid.org/https://orcid.org/0000-0003-2136-0542
- Neue Suche nach: Kopetz, Hermann
In:
Principles of Systems Design
: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
;
Kapitel: 4
;
61-84
;
2022
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:An Architecture for Safe Driving Automation
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Raskin, Jean-François ( Herausgeber:in ) / Chatterjee, Krishnendu ( Herausgeber:in ) / Doyen, Laurent ( Herausgeber:in ) / Majumdar, Rupak ( Herausgeber:in ) / Kopetz, Hermann ( Autor:in )
-
Erschienen in:Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday ; Kapitel: 4 ; 61-84Lecture Notes in Computer Science ; 13660 ; 61-84
-
Verlag:
- Neue Suche nach: Springer Nature Switzerland
-
Erscheinungsort:Cham
-
Erscheinungsdatum:29.12.2022
-
Format / Umfang:24 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
From Hybrid Automata to DAE-Based ModelingBenveniste, Albert / Caillaud, Benoît / Malandain, Mathias et al. | 2022
- 2
-
What’s Decidable About Discrete Linear Dynamical Systems?Karimov, Toghrul / Kelmendi, Edon / Ouaknine, Joël / Worrell, James et al. | 2022
- 3
-
Symbolic Analysis of Linear Hybrid Automata – 25 Years LaterFrehse, Goran / Giacobbe, Mirco / Zaffanella, Enea et al. | 2022
- 4
-
An Architecture for Safe Driving AutomationKopetz, Hermann et al. | 2022
- 5
-
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic FrameworkBozga, Marius / Sifakis, Joseph et al. | 2022
- 6
-
On Specifications and Proofs of Timed CircuitsFügger, Matthias / Lenzen, Christoph / Schmid, Ulrich et al. | 2022
- 7
-
Asynchronous Correspondences Between Hybrid Trajectory SemanticsCousot, Patrick et al. | 2022
- 8
-
Generalizing Logical Execution TimeLee, Edward A. / Lohstroh, Marten et al. | 2022
- 9
-
Towards a Grand Unification of Büchi Complementation ConstructionsVardi, Moshe Y. / Fogarty, Seth / Li, Yong / Tsay, Yih-Kuen et al. | 2022
- 10
-
A Simple Rewrite System for the Normalization of Linear Temporal LogicEsparza, Javier / Rubio, Rubén / Sickert, Salomon et al. | 2022
- 11
-
A Survey on Satisfiability Checking for the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}-Calculus Through Tree AutomataHausmann, Daniel / Piterman, Nir et al. | 2022
- 12
-
Universal Algorithms for Parity Games and Nested FixpointsJurdziński, Marcin / Morvan, Rémi / Thejaswini, K. S. et al. | 2022
- 13
-
Simulation Relations and Applications in Formal MethodsLarsen, Kim G. / Schilling, Christian / Srba, Jiří et al. | 2022
- 14
-
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided VerificationHenzinger, Monika et al. | 2022
- 15
-
Getting Saturated with InductionHajdu, Márton / Hozzová, Petra / Kovács, Laura / Reger, Giles / Voronkov, Andrei et al. | 2022
- 16
-
On Probabilistic MonitorabilityAceto, Luca / Achilleos, Antonis / Anastasiadi, Elli / Francalanza, Adrian / Ingólfsdóttir, Anna / Lehtinen, Karoliina / Pedersen, Mathias Ruggaard et al. | 2022
- 17
-
On the Foundations of Cycles in Bayesian NetworksBaier, Christel / Dubslaff, Clemens / Hermanns, Holger / Käfer, Nikolai et al. | 2022
- 18
-
Satisfiability of Quantitative Probabilistic CTL: Rise to the ChallengeChodil, Miroslav / Kučera, Antonín / Křetínský, Jan et al. | 2022
- 19
-
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic GamesKwiatkowska, Marta / Norman, Gethin / Parker, David / Santos, Gabriel et al. | 2022
- 20
-
Parameter Synthesis in Markov Models: A Gentle SurveyJansen, Nils / Junges, Sebastian / Katoen, Joost-Pieter et al. | 2022
- 21
-
Convex Lattice Equation SystemsBacci, Giorgio / Bacci, Giovanni / Jensen, Mathias Claus / Larsen, Kim G. et al. | 2022
- 22
-
Variance Reduction in Stochastic Reaction Networks Using Control VariatesBackenköhler, Michael / Bortolussi, Luca / Wolf, Verena et al. | 2022
- 23
-
From Interface Automata to HypercontractsIncer, Inigo / Benveniste, Albert / Sangiovanni-Vincentelli, Alberto / Seshia, Sanjit A. et al. | 2022
- 24
-
Consistency and Persistency in Program Verification: Challenges and OpportunitiesAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Jonsson, Bengt / Kumar, K. Narayan / Saivasan, Prakash et al. | 2022
- 25
-
Automated Program Repair Using Formal Verification TechniquesFrenkel, Hadar / Grumberg, Orna / Rothenberg, Bat-Chen / Sheinvald, Sarai et al. | 2022
- 26
-
Embedded Domain Specific VerifiersJhala, Ranjit et al. | 2022
- 27
-
Software Model Checking: 20 Years and BeyondBeyer, Dirk / Podelski, Andreas et al. | 2022
- 28
-
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network VerificationLin, Vivian / Ivanov, Radoslav / Weimer, James / Sokolsky, Oleg / Lee, Insup et al. | 2022
- 29
-
A Framework for Transforming Specifications in Reinforcement LearningAlur, Rajeev / Bansal, Suguman / Bastani, Osbert / Jothimurugan, Kishor et al. | 2022
- 30
-
Robustness Analysis of Continuous-Depth Models with Lagrangian TechniquesNeubauer, Sophie A. / Grosu, Radu et al. | 2022
- 31
-
Correct-by-Construction Runtime Enforcement in AI – A SurveyKönighofer, Bettina / Bloem, Roderick / Ehlers, Rüdiger / Pek, Christian et al. | 2022