Mykel Kochenderfer
@aiprof_mykel
Followers
458
Following
70
Media
0
Statuses
60
RT @SISLaboratory: ๐๐ฒ๐ฐ๐๐๐ฟ๐ฒ ๐ผ๐ป ๐๐ถ๐๐ฐ๐ถ๐ฝ๐น๐ถ๐ป๐ฒ๐ฑ ๐๐ผ๐ป๐๐ฒ๐
๐ฃ๐ฟ๐ผ๐ด๐ฟ๐ฎ๐บ๐บ๐ถ๐ป๐ด ๐ฏ๐ ๐๐ฟ๐ฒ๐ฐ ๐๐ฎ๐บ๐ด๐ผ๐ฐ๐ต๐ถ๐ฎ๐ป (@ArecJam) ๐ผ๐ณ ๐๐๐ฎ๐ฎ๐ฎ: ๐๐ป๐ด๐ถ๐ป๐ฒ๐ฒ๐ฟ๐ถ๐ป๐ด ๐๐ฒ๐๐ถ๐ด๐ป ๐ข๐ฝ๐๐ถ๐บ๐ถ๐๐ฎ๐๐ถ๐ผ๐ปโ๐ถ๐ ๐ป๐ผ๐โฆ.
0
0
0
RT @SISLaboratory: Congratulations to Bernard Lange on his PhD defense on ๐ ๐๐น๐๐ถ-๐ณ๐๐๐๐ฟ๐ฒ ๐๐ป๐๐ถ๐ฟ๐ผ๐ป๐บ๐ฒ๐ป๐ ๐๐ผ๐ฟ๐ฒ๐ฐ๐ฎ๐๐๐ถ๐ป๐ด ๐ฎ๐ป๐ฑ ๐ข๐ฐ๐ฐ๐น๐๐๐ถ๐ผ๐ป ๐๐ป๐ณ๐ฒ๐ฟ๐ฒ๐ป๐ฐ๐ฒ ๐ณ๐ผ๐ฟโฆ.
0
1
0
RT @SISLaboratory: @StanfordHAI article profiles @aiprof_mykel's work on validation of AI systems for aviation, autonomous vehicles, and chโฆ.
0
2
0
RT @SISLaboratory: Congratulations to Liam Kruse on his PhD defense on Scalable Probabilistic Modeling and Inference with Structured Latentโฆ.
0
1
0
RT @SISLaboratory: Congratulations to Harrison Delecki on his PhD defense on Sampling and Estimation for the Validation of Safety-criticalโฆ.
0
1
0
RT @ben_s_bucknall: ๐ข Over the moon that Open Problems in Technical AI Governance has now been published at TMLR! See the updated version hโฆ.
0
46
0
RT @SISLaboratory: Congratulations to Anil Yildiz on his PhD defense on Robust Policy Generalization and Risk Quantification in Autonomousโฆ.
0
1
0
RT @StanfordAILab: Stanford AI Lab (SAIL) is excited to announce new SAIL Postdoctoral Fellowships! We are looking for outstanding candidatโฆ.
0
84
0
RT @SISLaboratory: Lectures from our course AA228V: Validation of Safety Critical Systems are now available on @StanfordOnline!. Course Webโฆ.
0
2
0
RT @SISLaboratory: We present PyroRL, a new RL environment for wildfire evacuation. The environment simulates evacuating populated areas thโฆ.
0
2
0
RT @SISLaboratory: In aviation emergencies, pilots need quick access to precise information. We introduce LeRAAT, integrating large languagโฆ.
0
1
0
RT @SISLaboratory: Congratulations to @mossr_jl on successfully defending his PhD thesis on safe planning under uncertainty using surrogateโฆ.
0
3
0
RT @SISLaboratory: Before deploying autonomous systems in high-stakes applications, ensuring correct operation is key. In the AA228V lecturโฆ.
0
3
0
RT @SISLaboratory: Presenting our POMDP model for optimizing U.S. lithium supply chains under uncertain reserves. Early exploration, R&D, aโฆ.
0
2
0
RT @SISLaboratory: @amelia_f_hardy discusses BetterBench, her latest paper on AI benchmarks in high-stakes environmentsโexamining their quaโฆ.
0
3
0
RT @AnkaReuel: Submitting a benchmark to @icmlconf? Check out our NeurIPS Spotlight paper BetterBench! We outline best practices for benchmโฆ.
0
4
0
RT @SISLaboratory: Learn more about the SignalTemporalLogic.jl @JuliaLanguage package, developed by @mossr_jl! . Github: .
0
1
0
RT @SISLaboratory: In our first collaboration with the United States Air Force Test Pilot School and the DAF-Stanford AI Studio, we demonstโฆ.
0
3
0
RT @s_albrecht: Out NOW - Our Multi-Agent RL textbook has finally arrived in stores today!. Order from @mitpress or other book stores. Justโฆ.
0
17
0