Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ruth Hoffmann
Strategy Synthesis for Autonomous Agents Using PRISM
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Chaotic Neurodynamics for Autonomous Agents
IEEE Transactions on Neural Networks
Path Planning Usage for Autonomous Agents
Vide. Tehnologija. Resursi - Environment, Technology, Resources
Environmental Science
Autonomous Aquatic Agents
Strategy Learning for Reasoning Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete-Time Rendezvous Algorithms for Mobile Autonomous Agents
International Journal of Digital Content Technology and its Applications
Action Control of Autonomous Agents in Continuous Valued Space Using RFCN
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Cognitive Process of Moral Decision-Making for Autonomous Agents
International Journal of Software Science and Computational Intelligence
Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules
Autonomous Division and Integration of Anonymous Agents by Using Interaction Between Oscillators
Transactions of the JSME (in Japanese)
