?
2023 IEEE/ION Position, Location and Navigation Symposium (PLANS) ,
1
Accuracy Assessment of Two GPS Fidelity Prediction Services..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
2
Machine Learning Architectures for Price Formation Models w..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
3
The potential method for price-formation models:
, 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:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
5
Mean-Payoff Games with ω-Regular Specifications:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
6
Multi-Agent Reinforcement Learning with Temporal Logic Spec..:
, In:
?
Companion of the ACM/SPEC International Conference on Performance Engineering ,
7
Performance Evaluation and Improvement of Real-Time Compute..:
, In:
?
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems ,
8
Cooperative Concurrent Games:
, In:
?
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ,
9
Local Equilibria in Logic-Based Multi-Player Games:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
10
Iterated Games with LDL Goals over Finite Traces:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
11
Iterated Boolean Games for Rational Verification:
, In:
?
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems ,
12
Expressiveness and Nash Equilibrium in Iterated Boolean Gam..:
, 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 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) ,
14
Equilibria of concurrent games on event structures:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
15