- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7454
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Formal verification of neural agents in non-deterministic environments ; volume:36 ; number:1 ; day:9 ; month:11 ; year:2021 ; pages:1-36 ; date:4.2022
Autonomous agents and multi-agent systems ; 36, Heft 1 (9.11.2021), 1-36, 4.2022
- Creator
-
Akintunde, Michael E.
Botoeva, Elena
Kouvaros, Panagiotis
Lomuscio, Alessio
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10458-021-09529-3
- URN
-
urn:nbn:de:101:1-2022012205322244289137
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Akintunde, Michael E.
- Botoeva, Elena
- Kouvaros, Panagiotis
- Lomuscio, Alessio
- SpringerLink (Online service)
Other Objects (12)
Verification of discrete- and continuous-time non-deterministic Markovian systems
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Synthetic experiences for accelerating DQN performance in discrete non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework
Non-deterministic analysis of slope stability based on numerical simulation
Verification of discrete- and continuous-time non-deterministic Markovian systems
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Synthetic experiences for accelerating DQN performance in discrete non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework
Non-deterministic analysis of slope stability based on numerical simulation
Verification of discrete- and continuous-time non-deterministic Markovian systems
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Synthetic experiences for accelerating DQN performance in discrete non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework