A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.

Juha Kontinen Max Sandström Jonni Virtema

Published in: FoIKS (2024)

Keyphrases

information systems
asynchronous communication
image segmentation
genetic algorithm
objective function
cooperative
search algorithm
mobile devices
collaborative learning
discussion forums
delay insensitive