Results 241 to 250 of about 119,886 (300)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

open access: yesAdvanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano   +3 more
wiley   +1 more source

Participatory budgeting with cumulative votes. [PDF]

open access: yesTheory Decis
Skowron P, Slinko A, Szufa S, Talmon N.
europepmc   +1 more source

Vaccines and the 2024 US Presidential Election.

open access: yesJAMA Health Forum
Sharfstein JM   +4 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy