Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking
Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025