Παραμετρική Πολυπλοκότητα και Έλεγχος Μοντέλων σε Φραγμένες Οικογένειες Γραφημάτων
In this Thesis we are studying the Model Checking Problem in a Parameterized Framework. The main objective is to determine the impact of an increment in our descriptive capabilities to the complexity of the Model Checking Problem over Graphs. There are some results in the field pointing to an invers...
| Κύριοι συγγραφείς: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | bachelorThesis |
| Γλώσσα: | Greek English |
| Έκδοση: |
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών
2018
|
| Θέματα: | |
| Διαθέσιμο Online: | http://dspace.lib.ntua.gr/handle/123456789/48316 |