Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-9

Transformations of Timed Cooperating Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Timed Cooperating Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12-02

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

Yongan Mu, Wei Liu, Tao Lu [...]

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

Retricted access

Research article

First published 1994-03

Automata Simulation of N-Person Social Dilemma Games

Vladimir Akimov, Michail Soutchanski

Journal of Conflict Resolution

Retricted access

Research article

First published 2012-4

Cooperative regenerative braking control algorithm for an automatic-transmission-based hybrid electric vehicle during a downshift

C Jo, J Ko, H Yeo [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2004-8

Understanding Basic Automata Theory in the Continuous Time Setting

B.A. Trakhtenbrot

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

Temporal logic robot control based on automata learning of environmental dynamics

Yushan Chen, Jana Tůmová, Alphan Ulusoy [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2023-9

Integrated analysis of employee cooperation and conflict behaviors in the context of digital technology

Bin Hu, Yuxiao Du

SIMULATION

Retricted access

Research article

First published 2011-8

Spiking Neural dP Systems

Mihai Ionescu, Gheorghe Păun, Mario J. Pérez-Jiménez [...]

Fundamenta Informaticae

Open access

Abstract

First published 2012-10

S5-4: Formal Modeling of Affordance in Human-Included Systems

Namhun Kim

i-Perception

Search results