Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021-04-12

Machine learning of stochastic automata and evolutionary games

Bor-Hon Lee, Albert Jing-Fuh Yang, Yenming J. Chen

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

Retricted access

Research article

First published 2014-2

Planning meets verification and validation in a knowledge engineering environment

Andrea Orlandini, Giulio Bernardi, Amedeo Cesta [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2018

Additional Winning Strategies in Reachability Games * †

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Fundamenta Informaticae

Retricted access

Research article

First published 2019-6-10

Last man standing: Static,decremental and dynamic resiliency via controller synthesis

Matteo Zavatteri, Luca Viganò

Journal of Computer Security

Retricted access

Research article

First published 2016-2

Graph Cellular Automata approach to the Maximum Lifetime Coverage Problem in wireless sensor networks

Antonina Tretyakova, Franciszek Seredynski, Pascal Bouvry

SIMULATION

Retricted access

Research article

First published 2026-3

A procedural approach based on cellular automata for the generation of spatial layout designs

Chelsea SX Ng, Chun-Hsien Chen, Peer M Sathikh

International Journal of Architectural Computing

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 2015-8

On Promptness in Parity Games * †

Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Fundamenta Informaticae

Open access

Research article

First published 2014-3

Self-Organized Cognitive Sensor Networks: Distributed Channel Assignment for Pervasive Sensing

Li-Chuan Tseng, Feng-Tsun Chien, Abdelwaheb Marzouki [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2011-2

Flexible Plan Verification: Feasibility Results

Amedeo Cesta, Simone Fratini, Andrea Orlandini [...]

Fundamenta Informaticae

Search results