Suchergebnisse - Malvone, V | OPAC THWS

1

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information von Belardinelli, F, Ferrando, A, Malvone, V

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Verifying strategic abilities in multi-agent systems via first-order entailment von Belardinelli, F, Malvone, V

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Approximating perfect recall when model checking strategic abilities: theory and applications von Belardinelli, F, Lomuscio, A, Malvone, V, Yu, E

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

3vLTL: a tool to generate automata for three-valued LTL von Belardinelli, F, Ferrando, A, Malvone, V

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Scalable verification of strategy logic through three-valued abstraction von Belardinelli, F, Ferrando, A, Jamroga, W, Malvone, V, Murano, A

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Program semantics and verification technique for AI-centred programs von Rajaona, F, Boureanu, I, Malvone, V, Belardinelli, F

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A Hennessy-Milner theorem for ATL with imperfect information von Belardinelli, F, Dima, C, Malvone, V, Tiplea, F

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Strategy logic with simple goals: tractable reasoning about strategies von Belardinelli, F, Jamroga, W, Kurpiewski, D, Malvone, V, Murano, A

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Decidable verification of agent-based data-aware systems von Belardinelli, F, Malvone, V

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

RMLGym: a formal reward machine framework for reinforcement learning von Unniyankal, H, Belardinelli, F, Ferrando, A, Malvone, V

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Enablingmarkovian representations under imperfect information von Belardinelli, F, Leon, BG, Malvone, V

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Reasoning about human-friendly strategies in repeated keyword auctions von Belardinelli, F, Jamroga, W, Malvone, V, Mittelmann, M, Murano, A, Perrussel, L

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Approximating perfect recall when model checking strategic abilities von Lomuscio, AR, Belardinelli, F, Malvone, V

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: