?
2023 IEEE/ION Position, Location and Navigation Symposium (PLANS) ,
1
Accuracy Assessment of Two GPS Fidelity Prediction Services..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
A Matrix-Based Approach to Parity Games:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Machine Learning Architectures for Price Formation Models w..:
, In:
?
Proceedings of the 11th Euro American Conference on Telematics and Information Systems ,
4
LOD-RoadTran18: Supporting the cross-border use of Road Tra..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
5
The potential method for price-formation models:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
6
Multi-Agent Reinforcement Learning with Temporal Logic Spec..:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
7
Mean-Payoff Games with ω-Regular Specifications:
, In:
?
Companion of the ACM/SPEC International Conference on Performance Engineering ,
8
Performance Evaluation and Improvement of Real-Time Compute..:
, In:
?
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems ,
9
Cooperative Concurrent Games:
, In:
?
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ,
10
Local Equilibria in Logic-Based Multi-Player Games:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
11
Iterated Games with LDL Goals over Finite Traces:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
12
Iterated Boolean Games for Rational Verification:
, In:
?
Proceedings of the Sixth Workshop on Irregular Applications: Architectures and Algorithms ,
13
A fast level-set segmentation algorithm for image processin..:
, In:
?
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems ,
14
Expressiveness and Nash Equilibrium in Iterated Boolean Gam..:
, In:
?
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
15