Search Sciweavers | Sciweavers

4047 search results - page 220 / 810

» Algebraic Model Checking

156

click to vote

AAAI
1996

113views Intelligent Agents» more AAAI 1996»

The Complexity of Model Checking for Belief Revision and Update

15 years 7 months ago

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

127

click to vote

SOMET
2007

99views Software Engineering» more SOMET 2007»

Model Checking Communicative Agent-Based Systems

15 years 7 months ago

Download users.encs.concordia.ca

Jamal Bentahar, John-Jules Ch. Meyer

claim paper

Read More »

130

click to vote

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

15 years 7 months ago

Download users.encs.concordia.ca

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...

claim paper

Read More »

151

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

15 years 7 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

142

Voted

ECAI
2010
Springer

184views Artificial Intelligence» more ECAI 2010»

Non-elementary speed up for model checking synchronous perfect recall

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers