|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Savas Konur, Clare Dixon, Michael Fisher |
Analysing robot swarm behaviour via probabilistic model checking.  |
Robotics and Autonomous Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur |
An Event-Based Fragment of First-Order Logic over Intervals. |
Journal of Logic, Language and Information |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur, Michael Fisher |
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. |
VTC Spring |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Savas Konur |
A Survey on Temporal Logics |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Savas Konur |
Real-time and Probabilistic Temporal Logics: An Overview |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Savas Konur, Clare Dixon, Michael Fisher |
Formal Verification of Probabilistic Swarm Behaviours. |
ANTS Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin |
Towards the Verification of Pervasive Systems. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Savas Konur |
An interval logic for natural language semantics. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Savas Konur |
A Decidable Temporal Logic for Events and States. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")