Search Sciweavers | Sciweavers

493 search results - page 34 / 99

» Bounded LTL Model Checking with Stable Models

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 11 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

13 years 8 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

click to vote

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

13 years 8 months ago

Download www.in.tu-clausthal.de

Nils Bulling, Berndt Farwer

claim paper

Read More »

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 8 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers