- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Nguyen, Hoang Nga
Rakib, Abdur
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-023-09405-1
- URN
-
urn:nbn:de:101:1-2024020714465878200042
- 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
- Nguyen, Hoang Nga
- Rakib, Abdur
- SpringerLink (Online service)
Other Objects (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