|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 2 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Wenhui Zhang |
Bounded Semantics of CTL and SAT-Based Verification.  |
ICFEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds |
Verification of Multi-agent Systems Via Bounded Model Checking. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking |
| 1 | Wenhui Zhang |
Model Checking with SAT-Based Characterization of ACTL Formulas. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv |
Bounded model checking knowledge and branching time in synchronous multi-agent systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking |
| 1 | Marco Benedetti, Alessandro Cimatti |
Bounded Model Checking for Past LTL. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")