Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021-5

Real-time digital simulator for distributed systems

Jinchao Chen, Chenglie Du, Pengcheng Han [...]

SIMULATION

Retricted access

Research article

First published 2002-11

Automata-Theoretic Decision Procedures for Information Logics

Stéphane Demri, Ulrike Sattler

Fundamenta Informaticae

Retricted access

Research article

First published 2014-5

A stochastic automaton approach to discriminate intermittent from permanent faults

Deng Guanqian, Qiu Jing, Liu Guanjun [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2019-5

Automatons,sales-floor control and the constitution of authority

Asaf Darr

Human Relations

Retricted access

Research article

First published 2008-8

Exploring Cycle Structures of Additive Cellular Automata

Niloy Ganguly, Biplab K. Sikdar, P. Pal Chaudhuri

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orłowska

Fundamenta Informaticae

Retricted access

Research article

First published 2001-11

A Fixed-point Characterization of a Deontic Logic of Regular Action

Jan Broersen, Roel Wieringa, John-Jules Meyer

Fundamenta Informaticae

Retricted access

Research article

First published 2022-02-02

Synthesis method of strategy for multi-robot systems from local automatons under probabilistic model checking

Yuchong Huang, Ning Xu, Nan Wang [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2019-5

Finite state automaton based control system for walking machines

Razeen Hussain, Teresa Zielinska, Rene Hexel

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2019

Universal Computation in a Simplified Brownian Cellular Automaton with von Neumann Neighborhood

Wen-Li Xu, Jia Lee, Hui-Hui Chen [...]

Fundamenta Informaticae

Search results