Patrick Gardy
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Dependences in strategy logic (available as arXiv preprint) | 2020-08-05 | Paper |
| Dependences in strategy logic Theory of Computing Systems | 2020-04-15 | Paper |
| Weighted Strategy Logic with Boolean Goals Over One-Counter Games. | 2017-07-13 | Paper |
| Quantitative Verification of Weighted Kripke Structures Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
| On the semantics of strategy logic Information Processing Letters | 2015-12-01 | Paper |
Research outcomes over time
This page was built for person: Patrick Gardy
