Search Sciweavers | Sciweavers

2875 search results - page 154 / 575

» Model checking agentspeak

139

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

16 years 14 days ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

113

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

16 years 13 days ago

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

140

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 13 days ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

129

click to vote

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

Improved Algorithms for the Automata-Based Approach to Model-Checking

16 years 13 days ago

Download mtc.epfl.ch

Laurent Doyen, Jean-François Raskin

claim paper

Read More »

144

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers