GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Browsing by Subject "Tableau method"

Sort by: Order: Results:

  • Rens, G; Lakemeyer, G; Meyer, T (IOS Press, 2012-08)
    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 ...

Search ResearchSpace


My Account