Specification

相关论文数: 2

顶级研究者

Sriram Sankaranarayanan

研究机构: —

Vadym Partasyuk

研究机构: —

Bernd Finkbeiner

研究机构: —

Emily Jensen

研究机构: —

Sebastian Schirmer

研究机构: —

Jasdeep Singh

研究机构: —

Johann C. Dauer

研究机构: —

最高引用论文

Evidence Standing Envelope: Claim Standing Under Interval Evidence in Consequence-Bearing AI Systems

Vadym Partasyuk

引用数: 8 • 2026

Temporal Behavior Trees: Robustness and Segmentation

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

引用数: 3 • 2024

相关技术

Artificial intelligenceComputer scienceMachine learningTheoretical computer scienceProgramming languageSegmentationRobustness (evolution)Boundary (topology)Temporal logicFormalism (music)