ResearchSpace
→
Browsing by Subject

Browsing by Subject "Formal languages"

Now showing items 1-3 of 3

Descriptional complexity of non-unary self-verifying symmetric difference automata

Author: Marais, Laurette ; Van Zijl, L Date: Sep 2017 Previously, self-verifying symmetric difference automata were defined and a tight bound of 2^n-1-1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n at least 2, there is a regular ... Read more
Temporal logic motion planning

Author: Seotsanyana, M Date: Jan 2010 In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, ... Read more
Transition constraints for temporal attributes

Author: Ongoma, EAN ; Keet, CM ; Meyer, T Date: Jul 2014 Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential to have a language ... Read more

Now showing items 1-3 of 3

Browse

All of ResearchSpace

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 by Subject "Formal languages"

Browsing by Subject "Formal languages"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect