- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Formal Modelling and Verification of Probabilistic Resource Bounded Agents ; volume:32 ; number:5 ; day:15 ; month:11 ; year:2023 ; pages:829-859 ; date:12.2023
Journal of logic, language and information ; 32, Heft 5 (15.11.2023), 829-859, 12.2023
- Urheber
-
Nguyen, Hoang Nga
Rakib, Abdur
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-023-09405-1
- URN
-
urn:nbn:de:101:1-2024020714465878200042
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Nguyen, Hoang Nga
- Rakib, Abdur
- SpringerLink (Online service)
Ähnliche Objekte (12)
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
On the (un-)decidability of model checking resource-bounded agents
Counterexamples in probabilistic verification
Heterogeneous temporal probabilistic agents
Resource bounded randomness and genericity
Resource bounded measure and learnability
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Automated deductive verification of probabilistic programs
On pseudorandomness and resource-bounded measure
A Deductive Verification Infrastructure for Probabilistic Programs
A generalized account of resource bounded reducibilities
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
On the (un-)decidability of model checking resource-bounded agents
Counterexamples in probabilistic verification
Heterogeneous temporal probabilistic agents
Resource bounded randomness and genericity
Resource bounded measure and learnability
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Automated deductive verification of probabilistic programs
On pseudorandomness and resource-bounded measure
A Deductive Verification Infrastructure for Probabilistic Programs
A generalized account of resource bounded reducibilities
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
On the (un-)decidability of model checking resource-bounded agents
Counterexamples in probabilistic verification
Heterogeneous temporal probabilistic agents
Resource bounded randomness and genericity
Resource bounded measure and learnability
Resource bounded reasoning about knowledge
Resource bounded reasoning about knowledge
Automated deductive verification of probabilistic programs
On pseudorandomness and resource-bounded measure
A Deductive Verification Infrastructure for Probabilistic Programs