Strategy Synthesis for Autonomous Agents Using PRISM

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-77935-5_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Chaotic Neurodynamics for Autonomous Agents

IEEE Transactions on Neural Networks
2005English

Path Planning Usage for Autonomous Agents

Vide. Tehnologija. Resursi - Environment, Technology, Resources
Environmental Science
2015English

Autonomous Aquatic Agents

2013English

Strategy Learning for Reasoning Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Discrete-Time Rendezvous Algorithms for Mobile Autonomous Agents

International Journal of Digital Content Technology and its Applications
2012English

Action Control of Autonomous Agents in Continuous Valued Space Using RFCN

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
2007English

Cognitive Process of Moral Decision-Making for Autonomous Agents

International Journal of Software Science and Computational Intelligence
2013English

Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules

English

Autonomous Division and Integration of Anonymous Agents by Using Interaction Between Oscillators

Transactions of the JSME (in Japanese)
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy