English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

This paper addresses the issue of modeling and verification of a Multi AgentSystem (MAS) scenario. We have considered an agent based adaptive trafficsignal system. The system monitors the smooth flow of traffic at intersectionof two road segment. After describing how the adaptive traffic signal systemcan efficiently be used and showing its advantages over traffic signals withpredetermined periods, we have shown how we can transform this scenario intoFinite State Machine (FSM). Once the system is transformed into a FSM, we haveverified the specifications specified in Computational Tree Logic(CTL) usingNuSMV as a model checking tool. Simulation results obtained from NuSMV showedus whether the system satisfied the specifications or not. It has also showedus the state where the system specification does not hold. Using which wetraced back our system to find the source, leading to the specificationviolation. Finally, we again verified the modified system with NuSMV for itsspecifications.

Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier