yusuke1997/dblp-id-title huggingface dataset:
A Low Power Algorithm for Reconfigurable VLSI/WSI Arrays
A Mixed-Mode Simulation-Based Environment to Test and Dependability Assessment of HDL Models
Limited Resources Adaptation Control for Embedded Systems
ETTesto: The Integrated Development and Monitoring Environment for Embedded System based on Eclipse Platform
Proceedings of the 2008 International Conference on Embedded Systems & Applications, USA 2008, July 14-17, 2008, Las Vegas, Nevada, USA
Embedded Microcontroller for Performance Analysis of Mechatronic Devices
Dynamic Power Management System Considering Resource Characteristics of Mobile Devices
An Architecture for Fail-Silent Operation of FPGAs and Configurable SoCs
Multi-Level Embedded Motor Control for Prosthesis
Mapping Resource Constrained Applications on Chip Multiprocessors
An Energy Efficient Selective Placement Scheme for Set-Associative Data Cache in Embedded System
IT Security Protection at Field Level of Industrial Automation Systems
Adaptive Routing with Energy Awareness for Wireless Sensor Networks
QSTG: A Quick Search Test Generation Algorithm Based on Boolean Satisfiability Method
Hybrid-Timing FIFOs to Use on Networks-on-Chip in GALS Architectures
The Implementation of Narrowband and Wideband AMR Speech Coder for 3GPP Based IMT-2000 System
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Chain
Short-code Threading: A Memory-saving and Efficient Approach to Accelerate the Token Threaded Code for Embedded Systems
SoC Methodology an Overview
An Algorithm for Scheduling Real Time Multiprocessor Systems
An Efficient Divider Architecture over GF(2 m ) for Elliptic Curve Cryptography
Fraction Control Bus: A New SoC On-chip Communication Architecture Design
eNSTM: a Nested Software Transactional Memory Framework for MPSoC System
Low-Power Switched-Capacitor Filters for Telecommunication Applications
Exploiting Symmetries for Optimal Integrated Code Generation
On a parallel machine scheduling problem with precedence constraints and machine number restrictions
A Low Power Design Methodology Based on High Level Models
CIRTA: An ECATNets Based Model for Embedded Systems Specification
Non-intrusive Tool for Verifying COTS Components in Embedded Systems
Efficient and Reconfigurable Multi-thread design of Video codecs for Multi-Cores
An Open XML IP Search Portal Prototype
Ultrasonic Surface Contour Mapping System
Simulation Tool Incorporating a Flexible Real-Time Task Model for Mobile Robotic Systems
An Optical Boundary Scan Cell for On Line Testing of Embedded Systems
Embedded Operating Systems in Hardware: Modules for Cooperative Computing Operations
Built-In Self-Test and Diagnosis of Multiple Embedded Cores in SoCs
A Low Cost Home Automation System Design for Conventional Domestic Wiring Houses
A Low-Power Pipelined Implementation of 2D Discrete Wavelet Transform
A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS
Embedded Intelligence
Design of UPnP-based Ubiquitous Virtual Storage
Microprocessor Controlled Muscle Stimulation
Remote Control for Information Appliances using Instant Messenger
Quantum Gates Revisited: A Tensor Product Based Interpretation Model
Experimental Analysis of Batteries Under Continuous and Intermittent Operations
Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications
Synchronization in CAN-Based Embedded Systems
Research on Adaptive QoS Weakly Hard Real-time Schedule Algorithm
Serial Application Accelerating with Pipelined Configuration Slicing on Dynamic Reconfigurable Hardware
Proceedings of the International Conference on Embedded Systems and Applications, ESA '03, June 23 - 26, 2003, Las Vegas, Nevada, USA
Application Specific Instruction Set Exploration on VLIW Architectures
Java Flowpaths: Efficiently Generating Circuits for Embedded Systems from Java
Power-aware Register Renaming for Multi-banked Register Files
Layered Architecture Revised
A Reversible Version of 4 x 4 Bit Array Multiplier With Minimum Gates and Garbage Outputs
Technologies for the Development of Dependable and Secure Component-based Embedded Systems: TecnoSeC Project
A Self-Organizing Wireless Sensor Network
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
Embedded Processor Based Built-In Self-Test and Diagnosis of Logic and Memory Resources in FPGAs
String Matching Over Compressed Text on Handheld Devices
Testing Digital Systems by Error-locating Codes
Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems
The First Clock Cycle Is A Real BIST
Automatic Generation of Optimal Binary Codes for Real-Time Embedded Systems
A Reinforcement Learning Scheme for Dynamic Energy Management in Embedded Systems
RECAST - Design Space Exploration for Dynamic Reconfigurable Embedded Computing
An Embedded System Design for Speech Command Recognition using Improved AMDF-based Pitch Features
Design of Digital Control Unit for a Switched Reluctance Motor Based Battery Operated Vehicle
Design and Implementation of the MTM Interface for Data Transmission
Fault-Tolerance Analysis of Some Sorting Networks for Single and Multiple Passes
A Low-power On-chip Interconnection Desgin Methodologyf or Multimedia Applicatios
A Bus Encoding Scheme to Reduce Power Consuming Signal Transitions
Optimized Layout for Keypad Entry System
D-TEMP: A Design Tool for Embedded Systems on Single-Chip Multiprocessors
Design of a Connectivity Analysis Scheme for Hybrid Telematics Networks
Teaching Embedded System at the Freshman Year Starting from Requirements
System Level Architectural Synthesis and Compilation Technique in Reconfigurable Computing System
An Efficient Algorithm for Storing/Restoring Font Images in the Unicode for Small-Memory Embedded Systems
Firewall at AHDLC Layer
State Identification in Temporal Moore Machines
A Universal BSP Tool for Embedded OS Porting
Heterogeneous Multi-processor SoC Design: Hardware Bridging and Exploration Methodology
A Configurable System-on-Chip Architecture with Descriptors for Dynamic Reconfiguration
Automatic HW/SW Interface Generation for Seamless Integration from Object-Oriented Models
System Customization with Configurable Modules for Embedded Application Software
A Middleware for Model-Based Embedded Systems
Asynchronous vs. Synchronous Design of RSA
Toward System Certification of Real-Time Resource Management Middleware
Optimal Synchronizing Sequences for Machines with Timing Constraints
Performance/Energy Efficiency Analysis of Register Files in Superscalar Processors
Undefinability in Inquisitive Logic with Tensor
Boolean Network Games and Iterated Boolean Games
DEL Planning and Some Tractable Cases
Causal Models and the Ambiguity of Counterfactuals
An Extended First-Order Belnap-Dunn Logic with Classical Negation
Sette's Logics, Revisited
Mono-Agent Dynamics
The Logic of Knowledge-Based Cooperation in the Social Dilemma
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation
Connexivity Meets Church and Ackermann
Distributed Knowing Whether - (Extended Abstract)
A Dynamic Hybrid Logic for Followership
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models
Dynamic Restriction of Choices: Synthesis of Societal Rules
Infinite Ordinals and Finite Improvement
Weakly Aggregative Modal Logic: Characterization and Interpolation
Learning and Teaching as a Game: A Sabotage Approach
Towards a Logic of Tweeting
A Logic for Desire Based on Causal Inference
Craig Interpolation Property in $\exists \Box $-Bundled Fragment of First-Order Modal Logic
Efficient Action Extraction with Many-to-Many Relationship between Actions and Features
A Dynamic Approach to Temporal Normative Logic
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
Epistemic Monadic Boolean Algebras
Stability in Binary Opinion Diffusion
Mathematics of Public Announcements
Next-Time Coalition Logic
Dynamic Epistemic Logic of Finite Identification
Weighted Modal Logic in Epistemic and Deontic Contexts
Beating the Gatecrasher Paradox with Judiciary Narratives
A Formal Analysis of Hollis' Paradox
Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes
A Logic for Strategy Updates
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention
A General Family of Preferential Belief Removal Operators
The Stubborn Non-probabilist - 'Negation Incoherence' and a New Way to Block the Dutch Book Argument
An Abstract Algebraic Logic View on Judgment Aggregation
Seeing, Knowledge and Common Knowledge
Logics of Belief over Weighted Structures
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection
A Logic of Knowing How with Skippable Plans
An Argument for Permissivism from Safespots
A Note on Bayesian Games
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
Belief Revision with Satisfaction Measure
The Logic of Priori and a Posteriori Rationality in Strategic Games
Public Group Announcements and Trust in Doxastic Logic
A Dynamic Epistemic Logic with a Knowability Principle
Assertion, Rejection, and Semantic Universals
A Measure of Logical Inference and Its Game Theoretical Applications
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors
Interval Temporal Logic HS with Path Quantifiers
Cellular Games, Nash Equilibria, and Fibonacci Numbers
A Two-Tiered Formalization of Social Influence
Capturing Lewis's "Elusive Knowledge"
Expressivity Hierarchy of Languages for Epistemic Awareness Models
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity
A Logic of Questions for Rational Choice
Epistemic Logic with Partial Dependency Operator
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic
Counterfactuals in Nelson Logic
The Dynamics of Peer Pressure
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence
A Logical Framework for Graded Predicates
An Application of Model Checking Games to Abstract Argumentation
Intuitionistic Epistemology and Modal Logics of Verification
Distributed Knowledge Whether - (Extended Abstract)
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
A Two-Layer Partition Awareness Structure
Modelling Accuracy and Trustworthiness of Explaining Agents
Strategy Elimination in Games with Interaction Structures
Modal Expressivity and Definability over Sets
Minimal-Change Counterfactuals in Intuitionistic Logic
Measurement-Theoretic Foundations of Logic of Qualitative Conditional Probability
Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
'Transitivity' of Consequence Relations
How to Update Neighborhood Models
Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with off Equilibrium Play
Reasons in Weighted Argumentation Graphs
On the Concept of a Notational Variant
Computing Compliance
On Logic of Belief-Disagreement among Agents
Logic, Rationality, and Interaction - 10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings
Boolean Game with Prioritized Norms
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory
A Dynamic Deontic Logic Based on Histories
A Discrete Representation of Lattice Frames
Graph-Based Belief Merging
A Cooperation Logic for Declaration Structures
Metaphor Comprehension in Situations
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry
Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
How to Make Friends: A Logical Approach to Social Group Creation
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
A Finitary Axiomatization of Arbitrary Social Announcement Logic
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach
On the Expressivity of First-Order Modal Logic with "Actually"
Putting More Dynamics in Revision with Memory
From Classical to Non-monotonic Deontic Logic Using ASPIC +
The Categorial Logic of Vacuous Components in Natural Language
An Epistemic Logic with Hypotheses
Explicit and Implicit Knowledge in Neighbourhood Models
The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics
Attributing Distributed Responsibility in Stit Logic
A Dynamic Analysis of Interactive Rationality
Agreeing to Disagree with Limit Knowledge
Knowledge in Topological Argumentation Models
A General Framework for Modal Correspondence in Dynamic Epistemic Logic
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices
A Neutral Temporal Deontic STIT Logic
Epistemic Planning with Attention as a Bounded Resource
Evidence Diffusion in Social Networks: a Topological Perspective
Reasoning about Actions Meets Strategic Logics
An Alternative Logic for Knowability
Indicative Conditionals in Awareness Framework
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
Oppositional Logic
Knowing the Value of a Predicate
A Nonmonotonic Modal Relevant Sequent Calculus
Logical Dynamics of Evidence
A Note on Belief, Question Embedding and Neg-Raising
Unknown Truths and Unknowable Truths
Logic Aggregation
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics
Situated Epistemic Updates
Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage
Solving the HI-LO Puzzle
Rational Coordination with no Communication or Conventions
Analyzing Echo Chambers: A Logic of Strong and Weak Ties
A Causal Theory of Speech Acts
Logic and Ethics: An Integrated Model for Norms, Intentions and Actions
On the Finite Model Property of Non-normal Modal Logics
Aggregated Beliefs and Informational Cascades
Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary
Trace Semantics for IPDL
Social Bot Detection as a Temporal Logic Model Checking Problem
Intentionally Anonymous Public Announcements
On Subtler Belief Revision Policies
The Dynamics of Group Polarization
Evidence Logics with Relational Evidence
Topo-Logic as a Dynamic-Epistemic Logic
Dynamic Testimonial Logic
Dynamic Epistemic Logic Displayed
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability
Term-Sequence-Modal Logics
Toward a Dynamic Logic of Questions
On Axiomatizations of PAL
Discrete Linear Temporal Logic with Knowing-Value Operator
Aggregating Credences into Beliefs: Threshold-Based Approaches
From Concepts to Predicates Within Constructivist Epistemology
Modal Logics with Non-rigid Propositional Designators
A Deontic Action Logic for Complex Actions
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices
Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Probabilistic Causal Kripke Models
Non-triviality Done Proof-Theoretically
Contradictory Information as a Basis for Rational Belief
Consolidation of Belief in Two Logics of Evidence
Obligations in a Responsible World
Dynamic Logic of Power and Immunity
Game Theoretical Semantics for Paraconsistent Logics
An Update Operator for Strategic Ability
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
First Degree Entailment with Group Attitudes and Information Updates
A Characterization of Lewisian Causal Models
Minimal Preference Change
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract)
On Fuzzy Propositional Logic with Different Negations
The Modal Logic of n-State Frames
On the Finite Model Property of Weak Intuitionistic Tense Logic
Multi-agent Belief Revision Using Multisets
Functional Dependence in Uniform Dependence Model
On Axiomatization of Epistemic GDL
Towards a Logic for Conditional Local Strategic Reasoning
Boosting Distance-Based Revision Using SAT Encodings
Twelve Angry Men : A Study on the Fine-Grain of Announcements
A Propositional Dynamic Logic for Instantial Neighborhood Models
Backward Induction Is PTIME-complete
Dynamic Context Logic
Strategic Knowledge of the Past in Quantum Cryptography
A Unified Approach to Semantic and Soritical Paradoxes
Conditional Doxastic Logic with Oughts and Concurrent Upgrades
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs
Testing Minimax for Rational Ignorant Agents
Probabilistic Epistemic Updates on Algebras
Boolean Games with Epistemic Goals
Conjunction and Disjunction in Infectious Logics
Generalized Causal Models with Ontological Dependencies
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities
Enumerative Induction and Semi-uniform Convergence to the Truth
Bayesianism, Elimination Induction and Logical Reliability
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
Doing Without Nature
Public Announcement Logic with Distributed Knowledge
A Logic of Knowing How
Schematic Validity in Dynamic Epistemic Logic: Decidability
Substructural Logics for Pooling Information
Update Semantics for Imperatives with Priorities
Dynamic Logics for Explicit and Implicit Information
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks
A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers
Group Announcement Logic with Distributed Knowledge
Symbolic Model Checking for Dynamic Epistemic Logic
Learning Actions Models: Qualitative Approach
Agreement Theorems in Dynamic-Epistemic Logic
A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory
Conditional Ought, a Game Theoretical Perspective
Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
Dynamic Epistemic Temporal Logic
Algebraic Semantics for Dynamic Dynamic Logic
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
Proof Theory, Semantics and Algebra for Normative Systems
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning
Making Norms and Following Norms
Three-Valued Plurivaluationism of Vague Predicates
A Characterization Theorem for Trackable Updates
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
Knowledge-Now and Knowledge-All
Dynamic Attitudes, Fixed Points and Minimal Change
On the Complexity of Input/Output Logic
Algebraic Foundations for Inquisitive Semantics
A Logical and Empirical Study of Right-Nested Counterfactuals
Deliberate Contrary-to-Law Action
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
On the Right Path: A Modal Logic for Supervised Learning
Existence of Satisfied Alternative and the Occurring of Morph-Dictator
Characterizations of Iterated Admissibility Based on PEGL
Completeness Theorems for ∃ ☐-Fragment of First-Order Modal Logic
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling
Multi-Path vs. Single-Path Replies to Skepticism
A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic
Epistemic Updates on Bilattices
Cooperation Mechanisms for the Prisoner's Dilemma with Bayesian Games
A Generalization of Ordered-Pair Semantics
A Logical Description of Priority Separable Games
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings
Judgment Aggregation with Abstentions: A Hierarchical Approach
Introspection, Normality and Agglomeration
First-Order Logic Formalisation of Arrow's Theorem
How to Avoid Unexpected Exams
Reflections on Vote Manipulation
An Inferential Theory of Causal Reasoning
Multi-agent Conformant Planning with Distributed Knowledge
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics
An Epistemic Logic for Planning with Trials
Listen to Me! Public Announcements to Agents That Pay Attention - or Not
A Note on Reliability-Based Preference Dynamics
A Temporal Logic for Successive Events
Voting Theory in the Lean Theorem Prover
Improving Judgment Reliability in Social Networks via Jury Theorems
Logic of Evidence-based Knowledge
A Logic for Extensive Games with Short Sight
Informational Dynamics of 'Might' Assertions
First-Order Intuitionistic Epistemic Logic
Reasoning in Large Games with Unboundedly Many Players
An Axiomatisation for Minimal Social Epistemic Logic
From the Logical Point of View: The Chain Store Paradox Revisited
Representation Results for Non-cumulative Logics
Hyperintensionality in Relevant Logics
Justification Logic with Approximate Conditional Probabilities
Labelled Sequent Calculus for Inquisitive Logic
Public Announcements, Private Actions and Common Knowledge in S5 Structures
The Expressive Power of Revised Datalog on Problems with Closure Properties
Quotient Dynamics: The Logic of Abstraction
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic
Intentions and Assignments
Expressing Properties of Coalitional Ability under Resource Bounds
Relief Maximization and Rationality
Partial Semantics of Argumentation
Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5
The Topology of Belief, Belief Revision and Defeasible Knowledge
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
An Empirical Route to Logical 'Conventionalism'
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction
Sequent Calculi for Multi-modal Logic with Interaction
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers
Can Doxastic Agents Learn? On the Temporal Structure of Learning
Knowledge and Action in Semi-public Environments
Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation
Minimal Revision and Classical Kripke Models - First Results
Crossing Hands in the Russian Cards Problem
Mix It Up: Improving Performance in Travel Choice Modeling
Addressing Overchoice: Automatically Generating Meaningful Filters from Hotel Reviews
I Know What You Did Next Summer: Challenges in Travel Destinations Recommendation
Evaluating User Intent Classification and Hybrid Retrieval in a RAG-based Conversational Tourism Recommendation System
Presentation of the expedia group RecTour Research Dataset
Proceedings of the Workshop on Recommenders in Tourism co-located with the 18th ACM Conference on Recommender Systems (RecSys 2024), Bari, Italy, September 18, 2024
Proceedings of the Workshop on Recommenders in Tourism co-located with the 15th ACM Conference on Recommender Systems (RecSys 2021), Online, September 26, 2021
Booking.com RecSys RecTour 2024 Challenge
Users' Evaluation of Next-POI Recommendations
Journey to Centralizing Destination Recommendations
Re-CoSKQ: Towards POIs Recommendation Using Collective Spatial Keyword Queries
Solution to the Personalized Accommodation Review Ranking Task via Tabular Data Approach
CiRi-Engine: POI Recommender System for Diverse and Balanced Walking Tours
Multistakeholder Recommender Systems in Tourism
Simple Regularization for Aligning Embedding Spaces for Cross-brand Recommendation
Designing a Conversational Travel Recommender System Based on Data-Driven Destination Characterization
LLM-based Generation of Personalized, Context-aware City Tourist Itineraries: A User Study with GPT Trip Planner