Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents.
Luca BortolussiVincenzo GulisanoEric MedvetDimitrios Palyvos-GiannasPublished in: M4IoT@Middleware (2019)
Keyphrases
- autonomous agents
- temporal logic
- model checking
- mazurkiewicz traces
- multi agent systems
- modal logic
- dynamic environments
- satisfiability problem
- multiagent systems
- concurrent systems
- multi agent
- complex environments
- incomplete information
- open systems
- verification method
- computational systems
- heterogeneous agents
- predicate logic
- data streams
- intelligent behavior
- cloud computing
- distributed artificial intelligence
- bdi agents
- control architecture
- temporal knowledge
- coalition formation
- agent negotiation
- belief revision
- transition systems
- knowledge base
- multi agent environments
- distributed control
- agent behavior
- distributed systems
- complex systems