zweidimensionales bewegtes Bild
Multi-Agent Safety Verification using Symmetry Transformations
- Sprache
-
Englisch
- Umfang
-
35MB, 00:19:51:19 (unknown)
- Anmerkungen
-
Audiovisuelles Material
- Standort
-
Hannover TIB
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Beteiligte Personen und Organisationen
-
Sibai, Hussein
Mokhlesi, Navid
Fan, Chuchu
Mitra, Sayan
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- DOI
-
10.5446/55011
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Sibai, Hussein
- Mokhlesi, Navid
- Fan, Chuchu
- Mitra, Sayan
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Hybrid multi-agent systems: modeling, specification and verification
Modeling, verification, and strategic reasoning in multi-agent systems
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Temporal verification of reactive systems : safety
Deductive verification of safety-critical Java programs
Utilising Assured Multi-Agent Reinforcement Learning within safety-critical scenarios
On safety verification using PDR and Reverse PDR
Simulation for verification and validation of functional safety
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Safety and security in multiagent systems : research results from 2004 - 2006
Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues
Hybrid multi-agent systems: modeling, specification and verification
Modeling, verification, and strategic reasoning in multi-agent systems
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Temporal verification of reactive systems : safety
Deductive verification of safety-critical Java programs
Utilising Assured Multi-Agent Reinforcement Learning within safety-critical scenarios
On safety verification using PDR and Reverse PDR
Simulation for verification and validation of functional safety
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Safety and security in multiagent systems : research results from 2004 - 2006
Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues
Hybrid multi-agent systems: modeling, specification and verification
Modeling, verification, and strategic reasoning in multi-agent systems
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Temporal verification of reactive systems : safety
Deductive verification of safety-critical Java programs
Utilising Assured Multi-Agent Reinforcement Learning within safety-critical scenarios
On safety verification using PDR and Reverse PDR
Simulation for verification and validation of functional safety
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Safety and security in multiagent systems : research results from 2004 - 2006