https://ashutoshtrivedi.com/https://ashutoshtrivedi.com/research/https://ashutoshtrivedi.com/publications/https://ashutoshtrivedi.com/papers/dblp-journals-sttt-kalatst26/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2509-13471/https://ashutoshtrivedi.com/papers/2026-concur-asymmetric-discounting/https://ashutoshtrivedi.com/papers/dblp-journals-jair-kazemipsstv26/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2511-09363/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2605-00752/https://ashutoshtrivedi.com/papers/2026-arxiv-kv-fold/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2602-02686/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2601-03621/https://ashutoshtrivedi.com/papers/2026-ijcai-social-welfare/https://ashutoshtrivedi.com/papers/2025-ijcai-continuous-time-rewards/https://ashutoshtrivedi.com/papers/2025-arxiv-hitori/https://ashutoshtrivedi.com/papers/2025-acl-explaining-puzzles/https://ashutoshtrivedi.com/papers/2025-icse-fairness-evt/https://ashutoshtrivedi.com/papers/2025-cdc-objective-improvement/https://ashutoshtrivedi.com/papers/dblp-conf-qestformats-nadalitz25/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2508-14093/https://ashutoshtrivedi.com/papers/2025-neus-stochastic-neural-simulation/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2504-18693/https://ashutoshtrivedi.com/papers/2025-ase-discrimination-clusters/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-perezs024/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2401-12379/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2409-11671/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-kazemipss0v24/https://ashutoshtrivedi.com/papers/dblp-conf-cdc-murali0024/https://ashutoshtrivedi.com/papers/dblp-conf-icse-monjezikt0t24/https://ashutoshtrivedi.com/papers/2024-hscc-closure-certificates/https://ashutoshtrivedi.com/papers/dblp-journals-aamas-velasquezabta24/https://ashutoshtrivedi.com/papers/dblp-conf-amcc-muralitz24/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2404-02872/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2408-02999/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2409-16140/https://ashutoshtrivedi.com/papers/dblp-conf-ecai-hahnpss0w24/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-nadalim0024/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-hahnpss0w24/https://ashutoshtrivedi.com/papers/dblp-conf-promise-herreramk0t24/https://ashutoshtrivedi.com/papers/2024-cav-regular-rl/https://ashutoshtrivedi.com/papers/dblp-journals-csysl-oumermtz24/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2411-01750/https://ashutoshtrivedi.com/papers/dblp-journals-fmsd-bakdstvw24/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2412-01783/https://ashutoshtrivedi.com/papers/dblp-conf-adhs-nadali0024/https://ashutoshtrivedi.com/papers/dblp-journals-tac-anandmtz24/https://ashutoshtrivedi.com/papers/dblp-conf-qestformats-kalatst24/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2311-07695/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-dolegkk023/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2304-04199/https://ashutoshtrivedi.com/papers/dblp-conf-atal-afzalggs0v23/https://ashutoshtrivedi.com/papers/2023-icse-seis-tax-prep/https://ashutoshtrivedi.com/papers/dblp-journals-fac-hahnpsstw23/https://ashutoshtrivedi.com/papers/dblp-conf-tacas-hahnpsstw23/https://ashutoshtrivedi.com/papers/dblp-conf-ecai-hahnpss0w23/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2311-11979/https://ashutoshtrivedi.com/papers/dblp-conf-cav-alurbjpst23/https://ashutoshtrivedi.com/papers/dblp-conf-aips-falahg023/https://ashutoshtrivedi.com/papers/dblp-conf-atal-dohmen023/https://ashutoshtrivedi.com/papers/dblp-conf-ieeepact-mckevitttl23/https://ashutoshtrivedi.com/papers/dblp-conf-fm-bakdstvw23/https://ashutoshtrivedi.com/papers/dblp-conf-cdc-nadali0023/https://ashutoshtrivedi.com/papers/dblp-journals-csysl-muralitz22/https://ashutoshtrivedi.com/papers/dblp-conf-aips-toppera0v22/https://ashutoshtrivedi.com/papers/dblp-conf-atva-hahnpsstw22a/https://ashutoshtrivedi.com/papers/dblp-conf-atva-hahnpsstw22/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2209-05448/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2208-03485/https://ashutoshtrivedi.com/papers/dblp-conf-atal-velasquezab0a22/https://ashutoshtrivedi.com/papers/2022-icse-fairaware/https://ashutoshtrivedi.com/papers/dblp-conf-aips-dohmentab0v22/https://ashutoshtrivedi.com/papers/dblp-conf-atva-davekmt22/https://ashutoshtrivedi.com/papers/2022-neurips-rrl/https://ashutoshtrivedi.com/papers/dblp-conf-fmics-hahnpsstw22/https://ashutoshtrivedi.com/papers/dblp-journals-arc-liutyz22/https://ashutoshtrivedi.com/papers/dblp-conf-atal-kazemipss0v22/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-anandm0z22/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2102-06985/https://ashutoshtrivedi.com/papers/dblp-conf-rtss-dolegkkt21/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2105-05493/https://ashutoshtrivedi.com/papers/dblp-conf-cpsweek-anandm0z21/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2107-04633/https://ashutoshtrivedi.com/papers/dblp-conf-cav-hahnpsstw20/https://ashutoshtrivedi.com/papers/dblp-conf-fm-hahnpsstw21/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2106-09161/https://ashutoshtrivedi.com/papers/dblp-journals-sttt-tizpaz-niaricst21/https://ashutoshtrivedi.com/papers/dblp-conf-fct-davedkt21/https://ashutoshtrivedi.com/papers/dblp-conf-cdc-anandm0z21/https://ashutoshtrivedi.com/papers/dblp-conf-sas-luct21/https://ashutoshtrivedi.com/papers/dblp-conf-ndss-tizpaz-niaric020/https://ashutoshtrivedi.com/papers/dblp-conf-issta-tizpaz-niaric020/https://ashutoshtrivedi.com/papers/dblp-conf-atva-hahnpss0w20/https://ashutoshtrivedi.com/papers/dblp-conf-iccps-lavaeiss0z20/https://ashutoshtrivedi.com/papers/dblp-conf-tacas-hahnpss0w20/https://ashutoshtrivedi.com/papers/dblp-conf-concur-hahnpss0w20/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-2001-05977/https://ashutoshtrivedi.com/papers/dblp-conf-concur-filiotmr0020/https://ashutoshtrivedi.com/papers/dblp-conf-rv-tizpaz-niaric0019/https://ashutoshtrivedi.com/papers/dblp-conf-formats-guha019/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-1909-05081/https://ashutoshtrivedi.com/papers/dblp-conf-snr-hahnpss0w19/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-1910-09072/https://ashutoshtrivedi.com/papers/2019-tacas-omega-rl/https://ashutoshtrivedi.com/papers/dblp-conf-dlt-bhavekpt19/https://ashutoshtrivedi.com/papers/dblp-conf-cav-tizpaz-niaric019/https://ashutoshtrivedi.com/papers/dblp-conf-cav-somenzi019/https://ashutoshtrivedi.com/papers/dblp-conf-vmcai-lucc019/https://ashutoshtrivedi.com/papers/dblp-conf-aaai-tizpaz-niaricct18/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-somenzitt18/https://ashutoshtrivedi.com/papers/dblp-conf-iccps-diwakaranst17/https://ashutoshtrivedi.com/papers/dblp-conf-tacas-tizpaz-niariccs17/https://ashutoshtrivedi.com/papers/dblp-journals-tecs-alurfmt17/https://ashutoshtrivedi.com/papers/dblp-conf-atva-krishnakstt17/https://ashutoshtrivedi.com/papers/dblp-conf-lata-bhavedkpt16/https://ashutoshtrivedi.com/papers/dblp-conf-dlt-bhavedkpt16/https://ashutoshtrivedi.com/papers/dblp-journals-tcs-forejtknt16/https://ashutoshtrivedi.com/papers/dblp-conf-fsttcs-davekt16/https://ashutoshtrivedi.com/papers/dblp-conf-sefm-guptastdp16/https://ashutoshtrivedi.com/papers/dblp-conf-fsttcs-guhajkt16/https://ashutoshtrivedi.com/papers/dblp-journals-corr-bhavekt16/https://ashutoshtrivedi.com/papers/dblp-conf-mfcs-akshaybkmt16/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-bhavejkst15/https://ashutoshtrivedi.com/papers/dblp-conf-dac-krishnanrt15/https://ashutoshtrivedi.com/papers/dblp-journals-corr-krishnat15/https://ashutoshtrivedi.com/papers/dblp-conf-tamc-daskmtw15/https://ashutoshtrivedi.com/papers/dblp-conf-time-krishnamt15/https://ashutoshtrivedi.com/papers/dblp-conf-fsttcs-guhakmt15/https://ashutoshtrivedi.com/papers/dblp-conf-fmcad-johnscta15/https://ashutoshtrivedi.com/papers/dblp-conf-icalp-schewetv15/https://ashutoshtrivedi.com/papers/dblp-conf-lata-krishnamt15/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-krishnamt15/https://ashutoshtrivedi.com/papers/dblp-conf-concur-brihayegkmmt14/https://ashutoshtrivedi.com/papers/dblp-conf-fsttcs-filiotkt14/https://ashutoshtrivedi.com/papers/dblp-journals-corr-krishnamt14a/https://ashutoshtrivedi.com/papers/dblp-journals-corr-krishnamt14/https://ashutoshtrivedi.com/papers/dblp-conf-formats-krishnamt14/https://ashutoshtrivedi.com/papers/dblp-conf-lics-alurdt13/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-alurfmt13/https://ashutoshtrivedi.com/papers/dblp-conf-hybrid-alurtw12/https://ashutoshtrivedi.com/papers/dblp-conf-concur-chenfkstu12/https://ashutoshtrivedi.com/papers/dblp-conf-lics-alurft12/https://ashutoshtrivedi.com/papers/dblp-conf-emsoft-alurt11/https://ashutoshtrivedi.com/papers/dblp-conf-formats-forejtknt10/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-1001-1933/https://ashutoshtrivedi.com/papers/dblp-conf-atva-trivediw10/https://ashutoshtrivedi.com/papers/dblp-conf-qest-trivediw10/https://ashutoshtrivedi.com/papers/dblp-journals-corr-abs-0910-2891/https://ashutoshtrivedi.com/papers/dblp-conf-concur-jurdzinskiknt09/https://ashutoshtrivedi.com/papers/dblp-conf-fsttcs-jurdzinskit08/https://ashutoshtrivedi.com/papers/dblp-conf-formats-jurdzinskit08/https://ashutoshtrivedi.com/papers/dblp-conf-icalp-jurdzinskit07/https://ashutoshtrivedi.com/genealogy/https://ashutoshtrivedi.com/students/https://ashutoshtrivedi.com/teaching/https://ashutoshtrivedi.com/talks/hyperproperties/https://ashutoshtrivedi.com/talks/https://ashutoshtrivedi.com/cv/https://ashutoshtrivedi.com/news/https://ashutoshtrivedi.com/bio/https://ashutoshtrivedi.com/contact/https://ashutoshtrivedi.com/open-positions/cardiac-digital-twin-rl-2026.htmlhttps://ashutoshtrivedi.com/tags/accountablese/https://ashutoshtrivedi.com/tags/theory/https://ashutoshtrivedi.com/tags/thesis/https://ashutoshtrivedi.com/tags/cps/https://ashutoshtrivedi.com/tags/award/https://ashutoshtrivedi.com/tags/trustworthyAI/https://ashutoshtrivedi.com/tags/formalrl/https://ashutoshtrivedi.com/tags/top/https://ashutoshtrivedi.com/tags/ai/https://ashutoshtrivedi.com/tags/