An MTBDD-based implementation of forward reachability for probabilistic timed automata

Fuzhi Wang; Marta Kwiatkowska

An MTBDD-based implementation of forward reachability for probabilistic timed automata

Fuzhi Wang, Marta Kwiatkowska

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	3rd International Symposium on Automated Technology for Verification and Analysis, Oct 04-07, 2005. Taipei, Taiwan - Duration: 1 Jan 2005 → …

Conference

Conference	3rd International Symposium on Automated Technology for Verification and Analysis, Oct 04-07, 2005. Taipei, Taiwan
Period	1/01/05 → …

Cite this

@conference{733ed5e7c30c4da68736d448a2ecb1ff,

title = "An MTBDD-based implementation of forward reachability for probabilistic timed automata",

author = "Fuzhi Wang and Marta Kwiatkowska",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "3rd International Symposium on Automated Technology for Verification and Analysis, Oct 04-07, 2005. Taipei, Taiwan ; Conference date: 01-01-2005",

}