Controllable traffic simulation agents (behavior latents) trained with UCB-guided surrogate Bayesian optimization will exhibit coalition-based equilibrium deviations (beyond unilateral) in high-density scenarios, with deviation magnitude scaling with the number of coordinated agents (R² > 0.85).
Controllable traffic simulation agents (behavior latents) trained with UCB-guided surrogate Bayesian optimization will exhibit coalition-based equilibrium deviations (beyond unilateral) in high-density scenarios, with deviation magnitude scaling with the number of coordinated agents (R² > 0.85).
Adversarial Debate Score
47% survival rate under critique
Expert panel critique
Independent views, each critiquing the hypothesis on its own — the score rewards genuine disagreement and discounts consensus.
Supporting Research Papers
- Controllable Sim Agents with Behavior Latents
Realistic traffic simulation requires agents that imitate logged behavior and can also be steered along interpretable axes. Such controllability enables engineers to isolate variables, reproduce speci...
- Quantifying Trade-Offs Between Stability and Goal-Obfuscation
Safety-critical autonomy in adversarial settings demands more than Lyapunov stability of tracking error signals. An agent executing a goal-directed trajectory is intrinsically legible to a passive obs...
- Computing Equilibrium beyond Unilateral Deviation
Most familiar equilibrium concepts, such as Nash and correlated equilibrium, guarantee only that no single player can improve their utility by deviating unilaterally. They offer no guarantees against ...
Formal Verification
Z3 checks whether the hypothesis is internally consistent, not whether it is empirically true.