Browsing Research Publications/Outputs by Subject "Tableau method"

Now showing items 1-1 of 1

A logic for specifying agent actions and observations with probability

Author: Rens, G ; Lakemeyer, G ; Meyer, T Date: Aug 2012 We propose a non-standard modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic is multi-modal, indexed with actions; the logic is also augmented ... Read more

Now showing items 1-1 of 1

Browse

All of ResearchSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects
- Publication Type
- Cluster
- Impact Area

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing Research Publications/Outputs by Subject "Tableau method"

Browsing Research Publications/Outputs by Subject "Tableau method"

Browse

All of ResearchSpace

This Community

Quick Links

Legislation and compliance

General Enquiries

Social Connect