Sciweavers

2038 search results - page 18 / 408
» Probabilistic Agent Programs
Sort
View
85
Voted
FSTTCS
2010
Springer
14 years 7 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
BIRTHDAY
2008
Springer
14 years 11 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
ATAL
2001
Springer
15 years 1 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
ATAL
2008
Springer
14 years 11 months ago
A model of contingent planning for agent programming languages
Yves Lespérance, Giuseppe De Giacomo, Atala...