Dynamics of reputation in mobile agents systems and weighted timed automata

DOI10.1016/j.ic.2020.104653zbMath1483.68220OpenAlexW3106913076MaRDI QIDQ2064524

Bogdan Aman, Gabriel Ciobanu

Publication date: 6 January 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104653

zbMATH Keywords

reputationweighted timed automataUppaalTiMo agents

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Optimal paths in weighted timed automata
• Metrics for labelled Markov processes
• Timed mobility in process algebra and Petri nets
• A theory of timed automata
• Resource access control in systems of mobile agents
• Computing branching distances using quantitative games
• Approximation Metrics for Discrete and Continuous Systems
• Trust Management
• Logics in Artificial Intelligence
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Formal Methods for the Design of Real-Time Systems
• Trust models in ubiquitous computing
• Theory Is Forever
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Dynamics of reputation in mobile agents systems and weighted timed automata