Logic for Timed Agent Network Topologies | IEEE Conference Publication | IEEE Xplore

Logic for Timed Agent Network Topologies


Abstract:

We define µTGL, a spatio-temporal logic with fixed points and first-order agent quantification whose expressive power allows the definition of topological properties of n...Show More

Abstract:

We define µTGL, a spatio-temporal logic with fixed points and first-order agent quantification whose expressive power allows the definition of topological properties of networks of communicating agents. The existence of temporal operators and fixed points requires particular care when defining its semantics. We demonstrate the logic’s usefulness on an example, where we monitor a complex property that ensures resilient consensus.
Date of Conference: 06-09 December 2022
Date Added to IEEE Xplore: 10 January 2023
ISBN Information:

ISSN Information:

Conference Location: Cancun, Mexico

Contact IEEE to Subscribe

References

References is not available for this document.