Publication:4804901
From MaRDI portal
zbMath1010.68515MaRDI QIDQ4804901
Ofer Strichman, Edmund M. Clarke, Anubhav Gupta, James H. Kukula
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040265.htm
68T05: Learning and adaptive systems in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Verifying time partitioning in the DEOS scheduling kernel, Compositional SCC analysis for language emptiness, When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
Uses Software