most citednl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

6 citations · 9 across the 5 of their papers we have counts for

collaborators
Showing cs.DCShow all

2 papers · 1 filter

cs.DC2024

Undecided State Dynamics with Stubborn Agents

Petra Berenbrink, Felix Biermeier, Christopher Hahn

In the classical Approximate Majority problem with two opinions there are agents with Opinion 1 and with Opinion 2. The goal is to reach consensus and to agree on the majority opin…

cs.DC2023★ 1 cited

Fast Convergence of -Opinion Undecided State Dynamics in the Population Protocol Model

Talley Amir, James Aspnes, Petra Berenbrink +4

We analyze the convergence of the -opinion Undecided State Dynamics (USD) in the population protocol model. For =2 opinions it is well known that the USD reaches consensus wi…