pith. sign in

Daniel Stan

Identifiers

No identifiers captured yet.

Papers (2)

  1. Automata Learning with an Incomplete but Inductive Teacher (Technical Report) cs.FL · 2026 · author #1
  2. Reachability in Networks of Register Protocols under Stochastic Schedulers cs.LO · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors