A methodology to evaluate combinatorial explosion using LTL in autonomous ground navigation applications

In this work, the complexity of human-machine communication and problems related to autonomous systems in partially controlled environments is addressed. To this end, formal languages, state diagrams, relationships, autonomous and atomic propositions are used. The definition of logics, required to describe processes, which truth-values vary with time, to evaluate the need of language technologies for the performance of automatons in real environments involving human beings is considered. The importance of the investigation is presented and the proposed methodology that uses formal languages and temporal logics is implemented to synthesize automatons with finite states used in systems with state combinatorial explosion.