bibliographer - Sumit K. Jha

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Reachability for linear hybrid automata using iterative relaxation abstraction Sumit K. Jha Bruce H. Krogh James E. Weimer Edmund M. Clarke [github]

A Bayesian Approach to Model Checking Biological Systems Sumit K. Jha Edmund M. Clarke Christopher J. Langmead Axel Legay André Platzer Paolo Zuliani [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]